Also upgrade git-prompt.

2018-08-12 12:02:30 +02:00 · 2018-08-12 12:02:30 +02:00 · 990c96be1d
parent dd2a95c5c0
commit 990c96be1d
1 changed files with 2 additions and 0 deletions
--- a/.bashrc
+++ b/.bashrc
@ -141,4 +141,6 @@ dotfiles()
        git clone -q https://github.com/JulienPalard/dotfiles.git "$CLONE"
    fi
    "$CLONE"/interactive_copy.py "$CLONE" ~/ --exclude README.md .git interactive_copy.py install.sh __pycache__
+    rm -f "$USER/.git-prompt.sh"
+    wget -q -O "$USER/.git-prompt.sh" https://raw.githubusercontent.com/git/git/master/contrib/completion/git-prompt.sh
 }