Under UNIX, ECLiPSe saved states can also be called directly, as if they were executable files. This is completely equivalent to the use of the -r option.
Note that you use this mechanism whenever you invoke the normal ECLiPSe command, since it is in fact a saved program state. By default, the saved states are executable scripts for /bin/sh. An alternative shell may be specified in the environment variable ECLIPSESHELL.[eclipse 1]: save(saved_state), writeln(hello). hello yes. [eclipse 2]: ^D bye usr% saved_state hello yes. [eclipse 3]: