Bureaucrats, Interface administrators, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Editors (Semantic MediaWiki), Administrators, Widget editors
23,423
edits
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> <req-spec> | |||
where | |||
<req-spec> ::= ipV6Address:port | ipV4Address:port | FQDSAgentName | |||
FQDSAgentName ::= <agentId>@<domain>[:<port>] | |||
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> |