From 990c96be1de0a171466d503c8e78aa84555f98ea Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Sun, 12 Aug 2018 12:02:30 +0200
Subject: [PATCH] Also upgrade git-prompt.

---
 .bashrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.bashrc b/.bashrc
index 3a7390d..5aaaffb 100644
--- 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
 }