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 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: | 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> | <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 | <b>mcpcms</b> can be accessed with ssh using the following script<pre><tt>#!/usr/bin/bash | ||
#!/usr/bin/bash | |||
# | # | ||
# invoke this script with | # invoke this script with <fileName> <connect-spec> | ||
# where | |||
# | |||
# <connect-spec>::= ipV6Address:port | ipV4Address:port | FQDSAgentName | |||
# FQDSAgentName ::= <agentId>@<domain>[:<port>] | |||
# | |||
# and the port is displayed in the device control block of your DCMS account profile. Using the FQDSAgentName is equivalent to what the launch does. | |||
ssh | ssh | ||
</tt></pre> | |||
</blockquote> | </blockquote> | ||
<b>WFL</b> | <b>WFL</b> |