The shell is the program which provides the command line interface to Linux. The shell used in DICE is called bash. Other shells (e.g. zsh) are not supported. To get a shell, open a terminal window or login using ssh.

To get help with bash

To get help with bash, type one of these commands at a bash prompt (for instance in a terminal window):

help

This gives a brief list of bash commands. Type help then the name of one of those commands (for example help alias) to find out more about that command.

info bash

This displays the GNU Bash Reference Manual. It's a gentle introduction. If you're not familiar with the info system, either keep pressing the Space bar to scroll through the whole manual one node at a time, or press H (uppercase H) to see a short tutorial called How to use info. Press q to quit the info system.

man bash

This provides a rigorous and thorough description of every aspect of bash.

Aliases

Bash commands such as alias and function can be used to define new commands or alter the behaviour of existing ones. For example this alias would make the ls command automatically give more informative output:

alias ls='ls -F --color=auto'

Bash startup files on DICE

Bash startup files are personal lists of commands (such as alias or function definitions) which are automatically run when logging in or starting a shell. On DICE, the bash startup files are a little different.

Last reviewed: 
03/09/2025