diff options
| author | Jonathan Nieder <jrnieder@gmail.com> | 2010-07-26 19:06:51 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-07-27 21:58:46 +0400 |
| commit | 79bf149061fa29482512d903192a0d929e82872b (patch) | |
| tree | 2eab8bb4dec251568078a3c8074bbdecc8b45c67 /Documentation/git.txt | |
| parent | 28bf4ba014c9b41679f41580fa9e1cc294b240d9 (diff) | |
config --get --path: check for unset $HOME
If $HOME is unset (as in some automated build situations),
currently
git config --path path.home "~"
git config --path --get path.home
segfaults. Error out with
Failed to expand user dir in: '~/'
instead.
Reported-by: Julien Cristau <jcristau@debian.org>
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git.txt')
0 files changed, 0 insertions, 0 deletions