2018-12-19 16:35:27 +00:00
2018-09-14 15:23:03 -04:00
2018-09-14 11:30:05 -04:00
2018-12-19 16:35:27 +00:00

Configuration powerline

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

  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)

Description
configuration pour l'outil powerline
Readme 30 KiB