Na verdade, é um zsh
shell
instale-o com o apt-get
sudo apt-get install zsh
baixe o tema
wget -O ~/.zshrc https://raw.githubusercontent.com/grml/grml-etc-core/master/etc/zsh/zshrc
altere o shell padrão (observe que você perderá seus aliases com isso)
chsh -s /bin/zsh
atualização para aliases
se você tiver alias em um arquivo separado na sua pasta home/<user_name>
, anexe-a ao final do arquivo .zshrc
na sua pasta home/<user_name>
if [ -f ~/.aliases_file ]; then
. ~/.aliases_file
fi