/usr/share/hol88-2.02.19940316/help/ENTRIES/system.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | \DOC system
\TYPE {system : (string -> int)}
\SYNOPSIS
Executes a shell command.
\DESCRIBE
Escapes from {HOL} temporarily to execute a named shell command. The integer
value returned is an error code: zero indicates successful completion of the
shell command.
\EXAMPLE
{
#system `zap`;;
zap: Command not found.
1 : int
system `ls`;;
file_a file_b file_c
0:int
}
\ENDDOC
|