diff options
author | Karl Berry <karl@freefriends.org> | 2008-01-01 19:49:32 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-01-01 19:49:32 +0000 |
commit | ed812004bcf0428e4073498a66aefc69a7f0e419 (patch) | |
tree | f6dc9676063cf1175c390da96d28493cb552b08e /Master/common.sh | |
parent | 909f0cb823c22e0f6666b11f51cca51209a6f7f2 (diff) |
perhaps $HOME is completely unset (Poor Yorick, 31
Dec 2007 19:20:29).
git-svn-id: svn://tug.org/texlive/trunk@6022 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-x | Master/common.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh index 1d5a088b7c8..e32fd378adc 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -348,7 +348,8 @@ TEXMFCNF__fix_texmf() rm .sed_tmp.$$ # # the TEXMFHOME tree - if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != x/; then + if test "x$TEXMFHOME" != x'$HOME/texmf' && test "x$HOME" != x/ \ + && test -n "$HOME"; then # if the variable starts with the explicit home of the current user # (as in "/u/karl") replace that with the string '$HOME' as the # explicit home of the current user is unlikely to ever be right. |