Linux for Beginners

by Jason Cannon

$ cat .bash_profile # Put our settings in .bashrc so we have the same environment for login and non-login shells. if [ -f ~/.bashrc ]; then source ~/.bashrc fi