Versions Compared

Old Version 1

changes.mady.by.user Daniel Varela Santoalla

Saved on

compared with

New Version Current

changes.mady.by.user Xavier Abellan

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

The Red Hat Linux VDI system will use either Bash or Ksh as login shells, depending on what you have configured in your UNIX account. Please be aware that Csh, according to our policy, is not supported at all in Linux VDI. 

Tip
titleChanging your login shell

If you wish to change your login shell, please raise an issue with the request using our ECMWF Support Portal

...

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

No Format
user@ecgb11:~> changesh
Enter your user id: user

Your current shell is: /bin/bash
Enter new shell [/bin/ksh, /bin/bash]:

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

...