It is a good idea to add this line to the @file{.cshrc} file
in your home directory. Otherwise, you'll have to type it every time
you log in.
It is a good idea to add this line to the @file{.cshrc} file
in your home directory. Otherwise, you'll have to type it every time
you log in.