implicit font installation for Mac OS;
authorwenzelm
Thu Nov 26 14:42:52 2009 +0100 (2009-11-26)
changeset 33902ea0e7ac4aaad
parent 33901 2202882e5ec7
child 33903 14ff44e21bec
implicit font installation for Mac OS;
Admin/ProofGeneral/interface
     1.1 --- a/Admin/ProofGeneral/interface	Thu Nov 26 12:55:24 2009 +0100
     1.2 +++ b/Admin/ProofGeneral/interface	Thu Nov 26 14:42:52 2009 +0100
     1.3 @@ -201,6 +201,15 @@
     1.4      [ -n "$XSYMBOL_INSTALLFONTS" -a "$XSYMBOL_SETUP" = true ] && installfonts
     1.5    fi
     1.6  
     1.7 +  if [ $(uname -s) = Darwin -a -d "$HOME/Library/Fonts" ]
     1.8 +  then
     1.9 +    if [ ! -f "$HOME/Library/Fonts/XSymb0Medium.ttf" -o ! -f "$HOME/Library/Fonts/XSymb1Medium.ttf" ]
    1.10 +    then
    1.11 +      cp -f "$SUPER/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf" "$HOME/Library/Fonts/"
    1.12 +      cp -f "$SUPER/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf" "$HOME/Library/Fonts/"
    1.13 +    fi
    1.14 +  fi
    1.15 +
    1.16    ARGS["${#ARGS[@]}"]="-l"
    1.17    ARGS["${#ARGS[@]}"]="$SUPER/isar/interface-setup.el"
    1.18