Marcus Bishop wrote:
> I want to run a long running gap program nohup and then log out
> while it runs. However, in this situation, gap should die
> when it finishes executing the program.
Indeed GAP ignores a `quit' command when reading a file (and using
redirection is the only way to enforce it. However this loses the
There is a unix utility called `screen' that permits to ``detach'' a working
terminal session and to resume it later. In you run GAP under this you can
still run it interactively, you just detach the screen before you log out
and reattach it when you log in later (even from another place).
Screen is installed as a default on many Linux installations, if not you can
download it from