eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
authorwenzelm
Sun Nov 25 15:17:01 2012 +0100 (2012-11-25)
changeset 50197b385d134926d
parent 50196 94886ebf090f
child 50198 0c7b351a6871
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
etc/settings
lib/Tools/display
src/Doc/System/Basics.thy
     1.1 --- a/etc/settings	Sat Nov 24 19:56:44 2012 +0100
     1.2 +++ b/etc/settings	Sun Nov 25 15:17:01 2012 +0100
     1.3 @@ -98,26 +98,26 @@
     1.4  # Preferred document format
     1.5  ISABELLE_DOC_FORMAT=pdf
     1.6  
     1.7 -# The dvi file viewer
     1.8 +# PDF file viewer (command-line to eval)
     1.9 +case "$ISABELLE_PLATFORM_FAMILY" in
    1.10 +  linux)
    1.11 +    PDF_VIEWER="xdg-open"
    1.12 +    ;;
    1.13 +  macos)
    1.14 +    PDF_VIEWER="open -W -n"
    1.15 +    ;;
    1.16 +  windows)
    1.17 +    PDF_VIEWER="cygstart"
    1.18 +    ;;
    1.19 +esac
    1.20 +
    1.21 +# DVI file viewer (command-line to eval)
    1.22  DVI_VIEWER=xdvi
    1.23  #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    1.24  #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
    1.25  #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    1.26  #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.27  
    1.28 -# The pdf file viewer
    1.29 -case "$ISABELLE_PLATFORM" in
    1.30 -  *-linux)
    1.31 -    PDF_VIEWER="xdg-open"
    1.32 -    ;;
    1.33 -  *-darwin)
    1.34 -    PDF_VIEWER="open -W -n"
    1.35 -    ;;
    1.36 -  *-cygwin)
    1.37 -    PDF_VIEWER="cygstart"
    1.38 -    ;;
    1.39 -esac
    1.40 -
    1.41  
    1.42  # Printer spool command for PS files
    1.43  PRINT_COMMAND=lp
     2.1 --- a/lib/Tools/display	Sat Nov 24 19:56:44 2012 +0100
     2.2 +++ b/lib/Tools/display	Sun Nov 25 15:17:01 2012 +0100
     2.3 @@ -73,9 +73,9 @@
     2.4  if [ -n "$CLEAN" ]; then
     2.5    PRIVATE_FILE="${ISABELLE_TMP:-/tmp}/$$"$(basename "$FILE")
     2.6    mv "$FILE" "$PRIVATE_FILE" || fail "Cannot move file: $FILE"
     2.7 -  $VIEWER "$PRIVATE_FILE"
     2.8 +  eval "$VIEWER \"$PRIVATE_FILE\""
     2.9    sleep 5   #try to avoid races
    2.10    rm -f "$PRIVATE_FILE"
    2.11  else
    2.12 -  exec $VIEWER "$FILE"
    2.13 +  eval "$VIEWER \"$FILE\""
    2.14  fi
     3.1 --- a/src/Doc/System/Basics.thy	Sat Nov 24 19:56:44 2012 +0100
     3.2 +++ b/src/Doc/System/Basics.thy	Sun Nov 25 15:17:01 2012 +0100
     3.3 @@ -268,13 +268,13 @@
     3.4    directories with documentation files.
     3.5    
     3.6    \item[@{setting_def ISABELLE_DOC_FORMAT}] specifies the preferred
     3.7 -  document format, typically @{verbatim dvi} or @{verbatim pdf}.
     3.8 -  
     3.9 -  \item[@{setting_def DVI_VIEWER}] specifies the command to be used
    3.10 -  for displaying @{verbatim dvi} files.
    3.11 -  
    3.12 -  \item[@{setting_def PDF_VIEWER}] specifies the command to be used
    3.13 -  for displaying @{verbatim pdf} files.
    3.14 +  document format, typically @{verbatim pdf} or @{verbatim dvi}.
    3.15 +
    3.16 +  \item[@{setting_def PDF_VIEWER}] specifies the command-line to be
    3.17 +  used for displaying @{verbatim pdf} files.
    3.18 +
    3.19 +  \item[@{setting_def DVI_VIEWER}] specifies the command-line to be
    3.20 +  used for displaying @{verbatim dvi} files.
    3.21    
    3.22    \item[@{setting_def PRINT_COMMAND}] specifies the standard printer
    3.23    spool command, which is expected to accept @{verbatim ps} files.