The string or atom ShellCommand is passed as a command to the operating
system, and the command is executed there (it is a synonym for system/1).
+ShellCommand
String or atom.
Description
Used to send a command ShellCommand to the operating system. The
command uses the streams input, output and error as the UNIX streams
stdin, stdout and stderr respectively. ECLiPSe -specific streams, like
null or a string stream, can not be used.
Fail Conditions
Fails if the Shell couldn't be executed or if the command returned a
non-zero status.
Resatisfiable
No.
Exceptions
(4) Instantiation fault
ShellCommand is not instantiated.
(5) Type error
ShellCommand is instantiated, but not to a string or atom.