diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-08-23 20:31:14 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-08-23 20:31:14 -0300 |
| commit | b74f33f91abd25d36863df109cf4181ab003b4a1 (patch) | |
| tree | 341e66f08cc900b176d87de126008ad6b75f5b10 | |
| parent | 4d623f76c00dc19b160ed0d26843ce3dc963a5c4 (diff) | |
| download | profile-b74f33f91abd25d36863df109cf4181ab003b4a1.tar.gz profile-b74f33f91abd25d36863df109cf4181ab003b4a1.tar.bz2 | |
Setup powerline for bash
| -rw-r--r-- | profile.dot.link | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/profile.dot.link b/profile.dot.link index 957e37d..83d4fc7 100644 --- a/profile.dot.link +++ b/profile.dot.link @@ -214,7 +214,9 @@ fi #if [ -n "$BASH_VERSION" ]; then if [ "$0" = "bash" ]; then # Command prompt if no system-wide custom prompt is available - if ! type command_prompt &> /dev/null && [ -e "$HOME/apps/shellprompt/prompt" ]; then + if [ -e "/usr/share/powerline/bindings/bash/powerline.sh" ]; then + . /usr/share/powerline/bindings/bash/powerline.sh + elif ! type command_prompt &> /dev/null && [ -e "$HOME/apps/shellprompt/prompt" ]; then . $HOME/apps/shellprompt/prompt fi fi |