| commit | 666eec49ec3326692c255b515cd03687da4b1ea4 | |
| author | Sebastian Schuberth <sschuberth@visageimaging.com> | |
| Wed, 17 Oct 2007 13:53:50 +0000 (17 15:53 +0200) | ||
| committer | Sebastian Schuberth <sschuberth@visageimaging.com> | |
| Wed, 17 Oct 2007 13:53:50 +0000 (17 15:53 +0200) | ||
| tree | b87a1b8a3cfd483f791292fd5780cf8e2aa29dec | treesnapshot (tar.gz zip) |
| parent | 2a5469877315b736f65a680d48831685450ede38 | commitdiff |
WinGit(Inno): Set HOME if adding \cmd to PATH
If the user chooses to add \cmd to PATH in order to be able to use Git from
the Windows Command Prompt, HOME needs to be also set because /etc/profile
does not get executed in that case. This patch does this along with
introducing a little more generic methods to alter environment variables.
If HOME was set by the installer and it was not modified, the uninstaller will
remove it again, just like it reverts changes to PATH.
If the user chooses to add \cmd to PATH in order to be able to use Git from
the Windows Command Prompt, HOME needs to be also set because /etc/profile
does not get executed in that case. This patch does this along with
introducing a little more generic methods to alter environment variables.
If HOME was set by the installer and it was not modified, the uninstaller will
remove it again, just like it reverts changes to PATH.
| share/WinGit/install.iss | diffblobblamehistory |