lib/Tools/logo
changeset 9788 df671fa2562a
parent 6082 590f9e3bf4d8
child 10511 efb3428c9879
     1.1 --- a/lib/Tools/logo	Fri Sep 01 17:48:31 2000 +0200
     1.2 +++ b/lib/Tools/logo	Fri Sep 01 17:50:36 2000 +0200
     1.3 @@ -1,11 +1,13 @@
     1.4  #!/bin/bash
     1.5  #
     1.6  # $Id$
     1.7 +# Author: Markus Wenzel, TU Muenchen
     1.8 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.9  #
    1.10  # DESCRIPTION: create an instance of the Isabelle logo
    1.11  
    1.12  
    1.13 -PRG=$(basename $0)
    1.14 +PRG=$(basename "$0")
    1.15  
    1.16  function usage()
    1.17  {
    1.18 @@ -56,9 +58,9 @@
    1.19  # args
    1.20  
    1.21  NAME="-"
    1.22 -[ $# -ge 1 ] && { NAME="$1"; shift; }
    1.23 +[ "$#" -ge 1 ] && { NAME="$1"; shift; }
    1.24  
    1.25 -[ $# -ne 0 -o "$NAME" = "-" ] && usage
    1.26 +[ "$#" -ne 0 -o "$NAME" = "-" ] && usage
    1.27  
    1.28  
    1.29  ## main
    1.30 @@ -73,8 +75,8 @@
    1.31  AUTO_PERL=perl
    1.32  
    1.33  if [ "$OUTFILE" = "-" ]; then
    1.34 -  $AUTO_PERL -p -e "s/<any>/$NAME/" $ISABELLE_HOME/lib/logo/isabelle_any.eps
    1.35 +  "$AUTO_PERL" -p -e "s/<any>/$NAME/" "$ISABELLE_HOME/lib/logo/isabelle_any.eps"
    1.36  else
    1.37    [ -z "$QUIET" ] && echo "$OUTFILE" >&2
    1.38 -  $AUTO_PERL -p -e "s/<any>/$NAME/" $ISABELLE_HOME/lib/logo/isabelle_any.eps > $OUTFILE
    1.39 +  "$AUTO_PERL" -p -e "s/<any>/$NAME/" "$ISABELLE_HOME/lib/logo/isabelle_any.eps" > "$OUTFILE"
    1.40  fi