shell.pl -- Elementary shell commands
This library provides some basic shell commands from Prolog, such as
pwd
, ls
for situations where there is no shell available or the
shell output cannot be captured.
It is developed on the ST-MINIX version. MINIX did not have a vfork()
call, and thus only allows shell/[0,1,2] if Prolog uses less than half
the amount of available memory.
- shell
- Execute an interactive shell. The executed shell is defined by
the environment
SHELL
orcomspec
(Windows). If neither is defined,/bin/sh
is used. - cd
- cd(Dir)
- Change working directory
- pushd
- pushd(+Dir)
- popd
- dirs
- Manage the directory stack:
- pwd
- Print current working directory
- ls
- ls(+Pattern)
- Listing similar to Unix =ls -F=, flagging directories with =/=.
- mv(+From, +To) is det
- Move (Rename) a file. If To is a directory, From is moved into the directory.
- rm(+File) is det
- Remove (unlink) a file
- cd
- cd(Dir)
- Change working directory
- pushd
- pushd(+Dir)
- popd
- dirs
- Manage the directory stack:
- pushd
- pushd(+Dir)
- popd
- dirs
- Manage the directory stack:
- pushd
- pushd(+Dir)
- popd
- dirs
- Manage the directory stack:
- ls
- ls(+Pattern)
- Listing similar to Unix =ls -F=, flagging directories with =/=.