From a29dbcf08237d5eeb1ba99d8431bc5817661b9bb Mon Sep 17 00:00:00 2001
From: Martin Donnelly <martind2000@gmail.com>
Date: Fri, 14 Feb 2020 14:58:01 +0000
Subject: [PATCH] WS-2019.3.3 <martin@Stolas Update terminal.xml

---
 terminal.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/terminal.xml b/terminal.xml
index 7d3c779..3aed655 100644
--- a/terminal.xml
+++ b/terminal.xml
@@ -1,5 +1,5 @@
 <application>
   <component name="TerminalOptionsProvider">
-    <option name="myShellPath" value="C:\Program Files\Git\git-bash.exe" />
+    <option name="myShellPath" value="/usr/bin/bash " />
   </component>
 </application>
\ No newline at end of file