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.


[Home] [Search] [Index] This site maintained by webmaster@softlab.ece.ntua.gr