In this section, we discuss the things you need to do to set up your account for this course. By default, you will be assigned the shell bash. If you don't know what I'm talking about, you are probably using bash. If you are using a different shell, then you will have to adjust the commands in this section appropriately, but if you are using a different shell, you should know how.
First, check if you already have a .bash_profile and/or .bashrc file in your home directory (e.g., via ls -a ~). For the ones that don't exist, copy the versions of these files from ~stanchen/e6884/lab0/, e.g.:
cp ~stanchen/e6884/lab0/.bash_profile ~ cp ~stanchen/e6884/lab0/.bashrc ~ |
You can type . ~/.bashrc (or logout and login again) to have these changes take effect.