diff options
| -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 |