diff options
Diffstat (limited to 'Master/tl-portable.sh')
-rwxr-xr-x | Master/tl-portable.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tl-portable.sh b/Master/tl-portable.sh index 9cba24b23f8..f06a115840f 100755 --- a/Master/tl-portable.sh +++ b/Master/tl-portable.sh @@ -28,17 +28,20 @@ testfile=1 do testfile=`expr $testfile + 1` done echo Testing whether $TEXDIR is writable... - echo Hello >$TEXDIR/$testfile 2>/dev/null + touch $TEXDIR/$testfile 2>/dev/null if test -e $TEXDIR/$testfile; then rm $TEXDIR/$testfile + echo $TEXDIR is writable. tlwrite=$TEXDIR else + echo $TEXDIR is not writable. tlwrite=$HOME/.texlive2008 fi else tlwrite=$HOME/.texlive2008 fi export tlwrite +echo Using $tlwrite for generated files. # Use $TEXMFHOME for private data, # $TEXMFLOCAL for department- or workgroup data. |