MCP-CMS: Difference between revisions

MCP-CMS (view source)

39 bytes removed , 2 March 2023

no edit summary

23,423

edits

@@ Line 64: / Line 64: @@
      is derived from  <b>zsh</b> and is the shell variant which is set in /etc/shells for MCP. In an authenticated session, the launch link normally results is a WebSSH session with this shell. Aside from the modification for the MCP machine model, it is otherwise just zsh however the following commands are available to establish different shell behaviour in support of the KEE:
 <ul><li><b>shcl</b> (common lisp nature)</li><li><b>shhs</b> (HsShellScript, haskell nature)</li><li><b>upsh</b> (prolog nature)</li></ul>
-    <b>mcpcms</b> can be accessed with ssh using the following script<pre><tt>#!/usr/bin/bash
+    <b>mcpcms</b> can be accessed with ssh using the following script. Using the FQDSAgentName syntax is equivalent to what the launch link does in an AKPERSONs session.<pre><tt>#!/usr/bin/bash
 # save as &lt;fileName&gt; and invoke with &lt;fileName&gt;  &lt;connect-spec&gt; where
 #
@@ Line 70: / Line 70: @@
 #  FQDSAgentName ::= &lt;agentId&gt;@&lt;domain&gt;[:&lt;port&gt;]
 #
-#  and the address and port are displayed in the device control block of your DCMS account profile.
+#  and the values are displayed in the DCMS account profile.
-#  Using the FQDSAgentName syntax is equivalent to what the launch link does in an AKPERSONs session.
 #
 if $n > 1 then