Environment Variables
Before Starting
Consider these important facts:
- Environment variables are all upper case.
- To use their values, precede the name with a
$.
Initializing Your Environment
When a bash session starts, it reads commands from ~/.bash_profile.
Environment variables are set in the file ~/.bashrc.
📝 Note: The files ~/.bash_profile and .bashrc are hidden. To list hidden files, type ls -a.
Know the Environment Variables
Here is a list of some common environment variables:
$HOME- Path of your home directory$PATH- List of directories where the system checks for programs to run$LD_LIBRARY_PATH- List of directories where the system checks for shared libraries to load$HOSTNAME- The name of the host, e.g.or-slurm-login.
📝 Note: See the values of all your environment variables by typing env on your terminal.
Working with Environment Variables
- Display the value of an environment variable using
echo:
echo $HOME
- Modify the value of environment variables with
export:
export PATH=$PATH:/home/UID
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/home/UID/custom_lib_directory
- Set a value for environment variables:
export OMP_NUM_THREADS=12
This command sets the value of the variable called OMP_NUM_THREADS (an OpenMP parameter) to 12.