diff install.cmd @ 292:6938fb0146f5

Add stuff to `gitconfig`, use better installation for it.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 20 Mar 2015 15:15:20 -0700
parents 65a5097587d4
children 9056a39ef016
line wrap: on
line diff
--- a/install.cmd	Thu Mar 19 17:06:31 2015 -0700
+++ b/install.cmd	Fri Mar 20 15:15:20 2015 -0700
@@ -39,7 +39,8 @@
     set /P confirm=Will delete existing "%userprofile%\.gitconfig". OK with that? Press CTRL-C to abort.
     del /Q "%userprofile%\.gitconfig"
 )
-copy "%CWD%git\gitconfig" "%userprofile%\.gitconfig"
+echo [include] > "%userprofile%\.gitconfig"
+echo path = %CWD:\=/%git/gitconfig >> "%userprofile%\.gitconfig"
 
 :: Web Browser
 if exist "%userprofile%\_pentadactylrc" (