Setting Environment Variables

On Linux

1.   The procedure for setting an environment variable depends on what your default shell is. To get the name of the shell you are using, launch a shell and enter echo $SHELL.

This returns the type of shell you are using.

2.   Depending on the output of the previous step, do one of the following:

• If your shell is a csh or tcsh shell, add the following command to the .cshrc or .tcshrc file in your home directory: setenv VARIABLE value. Replace VARIABLE with the name of the environment variable and value with the value you want to give it, for example:

setenv MARI_CACHE /User/Temp/Mari

• If your shell is a bash or ksh shell, add the following command to the .bashrc or .kshrc file in your home directory: export VARIABLE=value. Replace VARIABLE with the name of the environment variable and value with the value you want to give it, for example:

export MARI_CACHE=/User/Temp/Mari

For a list of the environment variables that Mari understands, see Environment Variables That Mari Recognizes.

On Windows

1.   Right-click on My Computer and select Properties.
2.   In the System window click on Advanced system settings in the left pane.
3.   Go to the Advanced tab.
4.   Click the Environment Variables button.

The Environment Variables dialog opens.

5.   Click the New button under either User variables or System variables, depending on whether you want to set the variable for the current user or all users. To set environment variables for all users, you need to have administrator privileges.
6.   In the Variable name field, enter the name of the environment variable you want to set. For a list of the environment variables Mari understands, see Environment Variables That Mari Recognizes.
7.   In the Variable value field, enter the value for the variable. The value can be a directory path, for example.
8.   Click OK.

For a list of the environment variables that Mari understands, see Environment Variables That Mari Recognizes.