PumpHouse for Shell Users
Shell users need to go through a couple of extra steps to log in successfully
with PumpHouse.
- Open and exit the latest version of PumpHouse.
- PumpHouse will create a "PumpHouse.prefs" file in your user directory.
For Windows users, that's typically the "WINDOWS" or "Win32" directory.
For Unix users, it's typically in your $HOME or "~" directory.
- Open the PumpHouse.prefs file in your favorite text editor, and add the
following two lines:
shell.prompt=bash-2.00$
shell.command=pico
(You'll need to set shell.prompt to whatever your actual shell
command line prompt is.)
- Save the file and exit your text editor.
- The next time you launch PumpHouse, you should be able to successfully log
in.
The release version of PumpHouse will let you make this configuration from a
"Preferences" dialog.
Return to PumpHouse home page.