
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 =/=.