bash Tip

When you login, the BASH shell only reads the .bash_profile file. Check that the line

   source $HOME/.bashrc

is in your .bash_profile file. This ensures that the .bashrc file is read each time you login or start a subshell.

This site maintained by gwj@dmcs.p.lodz.pl