Configuration powerline

1. Installation de powerline via gestionnaire de paquet (ou pip, conseillé)

2. 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
   

3. Cloner ce dépôt dans ~/.config/, ie

   cd ~/.config/\
   git clone https://git.thomasbriffard.com/Briffou/powerline.git
   

4. (facultative) pour masquer l'utilisateur courant, modifier l'option "hide_user" de

   .config/powerline/themes/shell/default.json
   

5. installer l'outil powerline-gitstatus via gestionnaire de paquet (ou pip)

!!!! COMMANDE UTILE pour actualiser la ligne de commande une fois le dépôt cloné (et après modifications aux fichiers de configuration):

powerline-daemon --replace