diff options
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-x | Master/common.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Master/common.sh b/Master/common.sh index afedda3642b..d069c5c6cf4 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -340,8 +340,7 @@ TEXMFCNF__fix_texmf() rm .sed_tmp.$$ # # the TEXMFHOME tree - if test "x$HOME_CHANGE" = "x1"; then - + if test "x$TEXMFHOME" != '$HOME/texmf'; 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. @@ -708,7 +707,6 @@ menu_directories() TEXMFSYSVAR=`dirname "$TEXMFSYSVAR/x" | sed 's@//*@/@g'` ;; 4) gets TEXMFHOME - HOME_CHANGE=1 TEXMFHOME=`dirname "$TEXMFHOME/x" | sed 's@//*@/@g'` ;; R) return;; Q) exit_on_confirm;; @@ -1022,7 +1020,6 @@ init() TEXMFHOME=${TEXLIVE_INSTALL_TEXMFHOME-'$HOME/texmf'} VAR_CHANGE="" LOCAL_CHANGE="" - HOME_CHANGE="" screen_1=' ===================> TeX Live installation procedure <================== |