| commit | 70a0c6fb68b550b167b7c949030f71e4c30ad0b9 | |
| author | Sebastian Schuberth <sschuberth@visageimaging.com> | |
| Thu, 18 Oct 2007 10:20:04 +0000 (18 12:20 +0200) | ||
| committer | Steffen Prohaska <prohaska@zib.de> | |
| Thu, 18 Oct 2007 11:44:18 +0000 (18 13:44 +0200) | ||
| tree | eeb08935cb510782c62becac1b3e85ed53913425 | treesnapshot (tar.gz zip) |
| parent | 4730dea2d42c038e9937d0bd6bbb704d324c5d0b | commitdiff |
WinGit(Inno): Delete HOME if a previous installation modified it
If an update was performed (i.e. running the installer a second time without
uninstalling in between) with different options, it was the case that HOME
might be set although not required be the updated install. This is solved by
deleting HOME if a previous installation already modified it, before setting
it possibly again, similar to what is done for PATH.
[sp: adjusted ReleaseNotes.txt]
Signed-off-by: Sebastian Schuberth <sschuberth@visageimaging.com>
Signed-off-by: Steffen Prohaska <prohaska@zib.de>
If an update was performed (i.e. running the installer a second time without
uninstalling in between) with different options, it was the case that HOME
might be set although not required be the updated install. This is solved by
deleting HOME if a previous installation already modified it, before setting
it possibly again, similar to what is done for PATH.
[sp: adjusted ReleaseNotes.txt]
Signed-off-by: Sebastian Schuberth <sschuberth@visageimaging.com>
Signed-off-by: Steffen Prohaska <prohaska@zib.de>
| share/WinGit/ReleaseNotes.txt | diffblobblamehistory | |
| share/WinGit/install.iss | diffblobblamehistory |