MCP-CMS: Difference between revisions

From Cibernética Americana
Jump to navigationJump to search
792 bytes added ,  2 March 2023
no edit summary
No edit summary
No edit summary
Line 62: Line 62:
   <b>mcpcms</b>
   <b>mcpcms</b>
   <blockquote>
   <blockquote>
     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.
     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
#
# invoke this script with <fileName>  &lt;req-spec&gt;
 
                where           
         
                &lt;req-spec&gt;    ::= ipV6Address:port | ipV4Address:port | FQDSAgentName
                FQDSAgentName ::= &lt;agentId&gt;@&lt;domain&gt;[:&lt;port&gt;]
 
                and the port is displayed in a DS control block in the user's DCMS account profile or provided dynamically by automation in an authe
ssh
    </tt></pre>
   </blockquote>
   </blockquote>
   <b>WFL</b>
   <b>WFL</b>

Navigation menu