######################################################################## # ~/.profile # # Note: Recommended practice is to *not* edit this file, but rather to # ensure that ~/.bashrc exists, and make all desired changes to your # bash startup in ~/.bashrc ######################################################################## #----------------------------------------------------------------------- # Assuming ~/.bashrc exists, then do nothing except execute the commands # in that file so that interactive login and non-login shells result in # the same environment. #----------------------------------------------------------------------- if [ -f ~/.bashrc ]; then source ~/.bashrc else #----------------------------------------------------------------------- # If ~/.bashrc does not exist, then provide minimal setup, # including terminal characteristics and setting of path for executables #------------------------------------------------------------------------------- if tty -s; then stty dec export TERM fi export PATH=.:~/bin:~phys210/bin:/etc:/usr/etc:/usr/ucb:/bin:/usr/bin:/usr/local/bin fi