net-installer: run the Git build in mintty again

dscho · dscho · commit 3292b980bb72 · 2015-03-21T17:05:42.000+01:00
We have resolved the issues that prevented `git clone` from working
correctly in mintty, so let's have the nicer terminal as default
terminal again.

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/net-installer/setup-git-sdk.bat b/net-installer/setup-git-sdk.bat
@@ -72,6 +72,6 @@
 )
 
 @REM now clone the Git sources, build it, and start an interactive shell
-@bash --login -c "mkdir -p /usr/src && cd /usr/src && git clone -b @@GIT_BRANCH@@ -c core.autocrlf=false https://github.com/git-for-windows/git && cd git && make install; bash -i"
+@mintty bash --login -c "mkdir -p /usr/src && cd /usr/src && git clone -b @@GIT_BRANCH@@ -c core.autocrlf=false https://github.com/git-for-windows/git && cd git && make install; bash -i"
 
 @IF ERRORLEVEL 1 PAUSE

Original file line number	Diff line number	Diff line change
`@@ -72,6 +72,6 @@`
`72`	`72`	`)`
`73`	`73`
`74`	`74`	`@REM now clone the Git sources, build it, and start an interactive shell`
`75`		`-@bash --login -c "mkdir -p /usr/src && cd /usr/src && git clone -b @@GIT_BRANCH@@ -c core.autocrlf=false https://github.com/git-for-windows/git && cd git && make install; bash -i"`
	`75`	`+@mintty bash --login -c "mkdir -p /usr/src && cd /usr/src && git clone -b @@GIT_BRANCH@@ -c core.autocrlf=false https://github.com/git-for-windows/git && cd git && make install; bash -i"`
`76`	`76`
`77`	`77`	`@IF ERRORLEVEL 1 PAUSE`