| commit | f725caa7130c6975f40481dc97ccee5467cc3f4e | |
| author | Steffen Prohaska <prohaska@zib.de> | |
| Wed, 17 Oct 2007 15:03:25 +0000 (17 17:03 +0200) | ||
| committer | Steffen Prohaska <prohaska@zib.de> | |
| Wed, 17 Oct 2007 15:09:57 +0000 (17 17:09 +0200) | ||
| tree | bdb94e3e5cb1a5a26f8af32a53b6bd11e279e4c4 | treesnapshot (tar.gz zip) |
| parent | 3f111ed0ecd5285471d702be73f08f0012a60a3b | commitdiff |
WinGit(Inno): Set HOME only if adding \bin to PATH (not for \cmd)
It is sufficient to set HOME if the user chooses to add \bin to PATH
in order to be able to use Unix tools from the Windows Command Prompt.
Setting HOME is not needed if only \cmd is added because the wrappers
in \cmd set HOME before they execute the wrapped command.
Signed-off-by: Steffen Prohaska <prohaska@zib.de>
It is sufficient to set HOME if the user chooses to add \bin to PATH
in order to be able to use Unix tools from the Windows Command Prompt.
Setting HOME is not needed if only \cmd is added because the wrappers
in \cmd set HOME before they execute the wrapped command.
Signed-off-by: Steffen Prohaska <prohaska@zib.de>
| share/WinGit/install.iss | diffblobblamehistory |