If you would like to set up a particular Linux environment make sure that you edit your “.bash.user” file in your home folder.

#edit the file - absolute path
vi /afs/cs.stanford.edu/u/<csid>/.bashrc.user
# OR cd to you home dir and edit .bashrc.user
cd
vi .bashrc.user
# to take effect source .bashrc.user or log out and in to the server
source .bashrc.user