lib/Tools/install
changeset 9788 df671fa2562a
parent 7934 42836b6c4c73
child 10030 950580516dfa
     1.1 --- a/lib/Tools/install	Fri Sep 01 17:48:31 2000 +0200
     1.2 +++ b/lib/Tools/install	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: install standalone Isabelle executables
    1.11  
    1.12  
    1.13 -PRG=$(basename $0)
    1.14 +PRG=$(basename "$0")
    1.15  
    1.16  function usage()
    1.17  {
    1.18 @@ -67,7 +69,7 @@
    1.19  
    1.20  # args
    1.21  
    1.22 -[ $# -ne 0 -o -n "$NO_OPTS" ] && usage
    1.23 +[ "$#" -ne 0 -o -n "$NO_OPTS" ] && usage
    1.24  
    1.25  
    1.26  ## main
    1.27 @@ -88,10 +90,10 @@
    1.28      BIN="$BINDIR/$NAME"
    1.29      DIST="$DISTDIR/bin/$NAME"
    1.30      echo "installing $BIN"
    1.31 -    echo "#!$AUTO_BASH" >$BIN || fail "Cannot write file: $BIN"
    1.32 -    echo >>$BIN
    1.33 -    echo "exec $DIST \"\$@\"" >>$BIN
    1.34 -    chmod +x $BIN
    1.35 +    echo "#!$AUTO_BASH" > "$BIN" || fail "Cannot write file: $BIN"
    1.36 +    echo >> "$BIN"
    1.37 +    echo "exec \"$DIST\" \"\$@\"" >> "$BIN"
    1.38 +    chmod +x "$BIN"
    1.39    done
    1.40  fi
    1.41  
    1.42 @@ -100,28 +102,28 @@
    1.43  
    1.44  KDEHOME=~/.kde
    1.45  KDEAPP=~/Desktop/Isabelle.kdelnk
    1.46 -KDEICONS=$KDEHOME/share/icons
    1.47 +KDEICONS="$KDEHOME/share/icons"
    1.48  
    1.49  if [ "$KDE" = true ]; then
    1.50 -  mkdir -p $KDEICONS || fail "Bad directory: $KDEICONS"
    1.51 -  mkdir -p $KDEICONS/mini || fail "Bad directory: $KDEICONS/mini"
    1.52 +  mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
    1.53 +  mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
    1.54  
    1.55 -  [ -f $KDEICONS/isabelle.xpm ] || cp $ISABELLE_HOME/lib/icons/isabelle.xpm $KDEICONS || \
    1.56 +  [ -f "$KDEICONS/isabelle.xpm" ] || cp "$ISABELLE_HOME/lib/icons/isabelle.xpm" "$KDEICONS" || \
    1.57      fail "Cannot write file: $KDEICONS/isabelle.xpm"
    1.58 -  [ -f $KDEICONS/mini/isabelle.xpm ] || \
    1.59 -    cp $ISABELLE_HOME/lib/icons/isabelle-mini.xpm $KDEICONS/mini/isabelle.xpm || \
    1.60 +  [ -f "$KDEICONS/mini/isabelle.xpm" ] || \
    1.61 +    cp "$ISABELLE_HOME/lib/icons/isabelle-mini.xpm" "$KDEICONS/mini/isabelle.xpm" || \
    1.62      fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
    1.63  
    1.64    echo "installing $KDEAPP"
    1.65 -  echo "# KDE Config File" >$KDEAPP || fail "Cannot write file: $KDEAPP"
    1.66 -  echo "[KDE Desktop Entry]" >>$KDEAPP
    1.67 -  echo "Type=Application" >>$KDEAPP
    1.68 -  echo "Exec=$DISTDIR/bin/Isabelle %f" >>$KDEAPP
    1.69 -  echo "Icon=isabelle.xpm" >>$KDEAPP
    1.70 -  echo "TerminalOptions=" >>$KDEAPP
    1.71 -  echo "Path=" >>$KDEAPP
    1.72 -  echo "Terminal=0" >>$KDEAPP
    1.73 -  echo "Name=Isabelle" >>$KDEAPP
    1.74 +  echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
    1.75 +  echo "[KDE Desktop Entry]" >> "$KDEAPP"
    1.76 +  echo "Type=Application" >> "$KDEAPP"
    1.77 +  echo "Exec=$DISTDIR/bin/Isabelle %f" >> "$KDEAPP"
    1.78 +  echo "Icon=isabelle.xpm" >> "$KDEAPP"
    1.79 +  echo "TerminalOptions=" >> "$KDEAPP"
    1.80 +  echo "Path=" >> "$KDEAPP"
    1.81 +  echo "Terminal=0" >> "$KDEAPP"
    1.82 +  echo "Name=Isabelle" >> "$KDEAPP"
    1.83  
    1.84 -  type -p kfmclient >/dev/null && kfmclient refreshDesktop
    1.85 +  echo "Please refresh your KDE now!"
    1.86  fi