shell: add git agead/behind to PS1

2025-08-17 11:58:32 +02:00 · 2025-08-17 11:58:32 +02:00 · 3afa33f28e
commit 3afa33f28e
parent 40dcc1b24d
1 changed files with 14 additions and 0 deletions
--- a/shell/dot-bashrc
+++ b/shell/dot-bashrc
@ -13,8 +13,22 @@ parse_git_branch() {
    local b=$(git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/\1/')
    if [ "$b" != "" ]
    then
+        local behind=$(git rev-list HEAD...@{u} --ignore-submodules --count 2>/dev/null)
+        local ahead=$(git rev-list @{u}...HEAD --ignore-submodules --count 2>/dev/null)
        git diff --cached --exit-code &> /dev/null || b="${b}+"
        git diff --exit-code &> /dev/null || b="${b}*"
+        if [[ "$behind" > 0 || "$ahead" > 0 ]]
+        then
+            b="$b ☁ "
+            if [[ "$ahead" > 0 ]]
+            then
+                b="$b+$ahead"
+            fi
+            if [[ "$behind" > 0 ]]
+            then
+                b="$b-$behind"
+            fi
+        fi
    fi
    echo -n "$b"
 }