Ubuntu : tuning du terminal

4 décembre 2019
47

sudo apt install powerline fonts-powerline


Éditer le fichier ~/.bashrc
gedit .bashrc


Ajouter à la fin du fichier
if [ -f `which powerline-daemon` ]; then
  powerline-daemon -q
  POWERLINE_BASH_CONTINUATION=1
  POWERLINE_BASH_SELECT=1
  . /usr/share/powerline/bindings/bash/powerline.sh
fi