| commit | 7c00adc8c64ab5c7a9f5581b7cf2f5616d8e6ebe | |
| author | Steffen Prohaska <prohaska@zib.de> | |
| Mon, 8 Oct 2007 12:17:29 +0000 (8 14:17 +0200) | ||
| committer | Steffen Prohaska <prohaska@zib.de> | |
| Mon, 8 Oct 2007 13:09:43 +0000 (8 15:09 +0200) | ||
| tree | 3421df556d2517fabe4ace649e184fe555ac7dc1 | treesnapshot (tar.gz zip) |
| parent | 095e4ef541b85bf4870289e55c0403cd383ca33d | commitdiff |
WinGit (Inno): home dir in $USERPROFILE instead of $APPDATA/Git
Defaulting HOME to USERPROFILE is the best option we have:
1) Don't hide git's home from the user because git is not well
contained but shares data, like ssh keys, or .bashrc.
2) The most obvious default on Windows is USERPROFILE. wish also
has this default, which makes things easier. git-gui automatically
has the right HOME.
3) If the user has special needs she can override the default
by explicitly setting HOME.
See also:
http://groups.google.com/group/msysgit/browse_frm/thread/12807411fc0f2dcf
http://groups.google.com/group/msysgit/browse_frm/thread/aa594775f374ff89
Signed-off-by: Steffen Prohaska <prohaska@zib.de>
Defaulting HOME to USERPROFILE is the best option we have:
1) Don't hide git's home from the user because git is not well
contained but shares data, like ssh keys, or .bashrc.
2) The most obvious default on Windows is USERPROFILE. wish also
has this default, which makes things easier. git-gui automatically
has the right HOME.
3) If the user has special needs she can override the default
by explicitly setting HOME.
See also:
http://groups.google.com/group/msysgit/browse_frm/thread/12807411fc0f2dcf
http://groups.google.com/group/msysgit/browse_frm/thread/aa594775f374ff89
Signed-off-by: Steffen Prohaska <prohaska@zib.de>
| share/WinGit-InnoSetup/install.iss | diffblobblamehistory |