The CentOS Linux VDI system will use either Bash or Ksh, depending on what you have configured in your UNIX account. See how to change your shell in the Environment and shells article. Please be aware that Csh, according to our policy, is not supported at all in Linux VDI.
Warning |
---|
If you are currently using Csh as your login shell you will need to contact our Service Desk to change it to one of the supported ones |
...
Note that CSH is not available. If you are still using it, please move to a supported shell.
Tip | ||
---|---|---|
If you wish to change the default shell you must do it from ECGATE
The change may take a few minutes to synchronise, and will only affect new sessions opened after it is into effect. |
Shell initialisation and configuration files
...
$HOME/.profile
...
$HOME/.bash_profile
...
Suitable for your own login session settings (e.g. PATH).
It overrides .profile if present
...
$HOME/.bashrc
...
$HOME/.bash_logout
...
$HOME/.kshrc
...
. |