Configuration powerline
- Installation de powerline via gestionnaire de paquet ou pip
- Modification du .bashrc avec ajout de quelque chose du style :
powerline-daemon -q
POWERLINE_BASH_CONTINUATION=1
POWERLINE_BASH_SELECT=1
. /usr/share/powerline/bindings/bash/powerline.sh
- Cloner ce dépôt dans ~/.config/, ie
cd ~/.config/
git clone https://git.thomasbriffard.com/Briffou/powerline.git
- (facultative) pour masquer l'utilisateur courant, modifier l'option "hide_user" de
.config/powerline/themes/shell/default.json
- installer l'outil powerline-gitstatus