From d104f75b228ae262f5f11c808ed7f7ed2ac40e83 Mon Sep 17 00:00:00 2001
From: Clemens Schwaighofer <gullevek@gullevek.org>
Date: Wed, 14 Oct 2015 19:25:04 +0900
Subject: [PATCH] shell for gitprompt.sh needs to be bash

changed #!/bin/sh to #!/bin/bash as eg Debian and Ubuntu default
shell is /bin/dash. This script will not work with it, and so the
default shell has to be /bin/bash.
---
 gitprompt.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitprompt.sh b/gitprompt.sh
index 178c6d1..3c06abf 100755
--- a/gitprompt.sh
+++ b/gitprompt.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 function async_run() {
   {