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.