SLIME
to a remote serverIn this section, we give a brief overview of each of the different tools and components that we use.
detachtty
detachtty
is a Unix command that lets users run
interactive programs in the background,
non-interactively. Normally, any running command exits when a
user logs out. detachtty
will run a program in
the background, so that continues even when the user
exits. Moreover, detachtty
sets up a pipe so that
the user can interactive with the program
(see attachtty
below), and also sets up
networking so that one can connect to it by ssh.