Customizing bash shell profile for Eddie shell windows

If you select the "Open ~/.profile in Shell windows" option in the application settings, the bash shell launched by Eddie will use the .profile file to configure itself. The same file will be used to configure the bash shell opened when you launch the Terminal program.

In some cases you may want to configure bash differently when it is running in an Eddie shell window. To do that, you may add the file ".eddieShellProfile" to your home directory. This file will be sourced after .profile is. Obviously it will not get used when opening bash in a Terminal window, therefore you can add Eddie-specific settings into it.

In addition to the ".eddieShellProfile" file Eddie looks for ".eddieWorksheetProfile" when opening the Worksheet shell window. If you want the Worksheet window configured differently than the rest of the shell windows, you can use this file.

You may also configure bash with Eddie-specific settings even without using the two special profile files described above. Before sourcing the ~/.profile, Eddie exports a variable $EDDIE, containing the path of the application. In the ~/.profile file you may test the value of this variable - if it is empty, you are executing bash in a Terminal window, if it contains a string, you are in Eddie. You may execute different parts of an if statement based on that and have Eddie-only or Terminal-only .profile entries.