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.