isatool install: removed KDE option;
authorwenzelm
Fri Jul 01 14:41:57 2005 +0200 (2005-07-01)
changeset 16653c12c2f411f77
parent 16652 4ecf94235ec7
child 16654 d964cbaa6c1c
isatool install: removed KDE option;
INSTALL
doc-src/System/misc.tex
lib/Tools/install
     1.1 --- a/INSTALL	Fri Jul 01 14:22:33 2005 +0200
     1.2 +++ b/INSTALL	Fri Jul 01 14:41:57 2005 +0200
     1.3 @@ -87,25 +87,4 @@
     1.4  /usr/local/bin).
     1.5  
     1.6  
     1.7 -Isabelle as KDE application
     1.8 ----------------------------
     1.9 -
    1.10 -Users may install an Isabelle application icon on the KDE desktop as
    1.11 -follows:
    1.12 -
    1.13 -  [ISABELLE_HOME]/bin/isatool install -k 1
    1.14 -
    1.15 -This will install the KDE icon in ~/.kde 
    1.16 -
    1.17 -  [ISABELLE_HOME]/bin/isatool install -k 2
    1.18 -
    1.19 -does the same, but in ~/.kde2
    1.20 -
    1.21 -Clicking on Isabelle will invoke the interface wrapper script (capital
    1.22 -Isabelle), which is usually configured to run Proof General (cf. the
    1.23 -ISABELLE_INTERFACE setting).  Additional options may be passed to
    1.24 -Isabelle by editing the application's command line using the standard
    1.25 -KDE properties editing facilities.
    1.26 -
    1.27 -
    1.28  $Id$
     2.1 --- a/doc-src/System/misc.tex	Fri Jul 01 14:22:33 2005 +0200
     2.2 +++ b/doc-src/System/misc.tex	Fri Jul 01 14:41:57 2005 +0200
     2.3 @@ -160,8 +160,6 @@
     2.4    Options are:
     2.5      -d DISTDIR   use DISTDIR as Isabelle distribution
     2.6                   (default ISABELLE_HOME)
     2.7 -    -k VERSION   install KDE application icon on desktop
     2.8 -                 (for KDE VERSION 1 or 2)                                       
     2.9      -p DIR       install standalone binaries in DIR
    2.10  
    2.11    Install Isabelle executables with absolute references to the current
    2.12 @@ -179,10 +177,6 @@
    2.13  note that a plain manual copy of the original Isabelle executables just would
    2.14  not work!
    2.15  
    2.16 -The \texttt{-k} option creates an Isabelle application object for the popular
    2.17 -\textsl{K~Desktop Environment} (KDE)\index{KDE}, either for version 1 or 2.
    2.18 -The icon will appear directly on the desktop.
    2.19 -
    2.20  
    2.21  \section{Creating instances of the Isabelle logo --- \texttt{isatool
    2.22      logo}}
     3.1 --- a/lib/Tools/install	Fri Jul 01 14:22:33 2005 +0200
     3.2 +++ b/lib/Tools/install	Fri Jul 01 14:41:57 2005 +0200
     3.3 @@ -16,8 +16,6 @@
     3.4    echo "  Options are:"
     3.5    echo "    -d DISTDIR   refer to DISTDIR as Isabelle distribution"
     3.6    echo "                 (default ISABELLE_HOME)"
     3.7 -  echo "    -k VERSION   install KDE application icon on desktop"
     3.8 -  echo "                 (for KDE VERSION 1 or 2)"
     3.9    echo "    -p DIR       install standalone binaries in DIR"
    3.10    echo
    3.11    echo "  Install Isabelle executables with absolute references to the current"
    3.12 @@ -40,19 +38,15 @@
    3.13  NO_OPTS=true
    3.14  
    3.15  DISTDIR="$ISABELLE_HOME"
    3.16 -KDE=""
    3.17  BINDIR=""
    3.18  
    3.19 -while getopts "d:k:p:" OPT
    3.20 +while getopts "d:p:" OPT
    3.21  do
    3.22    NO_OPTS=""
    3.23    case "$OPT" in
    3.24      d)
    3.25        DISTDIR="$OPTARG"
    3.26        ;;
    3.27 -    k)
    3.28 -      KDE="$OPTARG"
    3.29 -      ;;
    3.30      p)
    3.31        BINDIR="$OPTARG"
    3.32        ;;
    3.33 @@ -112,42 +106,3 @@
    3.34      chmod +x "$BIN"
    3.35    done
    3.36  fi
    3.37 -
    3.38 -
    3.39 -# install KDE 1.x / 2.x application icon
    3.40 -
    3.41 -if [ -n "$KDE" ]; then
    3.42 -  if [ "$KDE" = 1 ]; then
    3.43 -    KDEHOME=~/.kde
    3.44 -    KDEDESKTOP=~/Desktop
    3.45 -    KDEAPP="$KDEDESKTOP/Isabelle.kdelnk"
    3.46 -  elif [ "$KDE" = 2 ]; then
    3.47 -    KDEHOME=~/.kde2
    3.48 -    KDEDESKTOP=~/KDesktop
    3.49 -    KDEAPP="$KDEDESKTOP/Isabelle.desktop"
    3.50 -  else
    3.51 -    fail "Unknown KDE version \"$KDE\""
    3.52 -  fi
    3.53 -  mkdir -p "$KDEDESKTOP" || fail "Bad directory: $KDEDESKTOP"
    3.54 -
    3.55 -  KDEICONS="$KDEHOME/share/icons"
    3.56 -  mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
    3.57 -  mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
    3.58 -
    3.59 -  [ -f "$KDEICONS/isabelle.xpm" ] || cp "$ISABELLE_HOME/lib/icons/isabelle.xpm" "$KDEICONS" || \
    3.60 -    fail "Cannot write file: $KDEICONS/isabelle.xpm"
    3.61 -  [ -f "$KDEICONS/mini/isabelle.xpm" ] || \
    3.62 -    cp "$ISABELLE_HOME/lib/icons/isabelle-mini.xpm" "$KDEICONS/mini/isabelle.xpm" || \
    3.63 -    fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
    3.64 -
    3.65 -  echo "installing $KDEAPP"
    3.66 -  echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
    3.67 -  echo "[KDE Desktop Entry]" >> "$KDEAPP"
    3.68 -  echo "Type=Application" >> "$KDEAPP"
    3.69 -  echo "Exec=\"$DISTDIR/bin/isabelle-interface\" %f" >> "$KDEAPP"
    3.70 -  echo "Icon=isabelle.xpm" >> "$KDEAPP"
    3.71 -  echo "TerminalOptions=" >> "$KDEAPP"
    3.72 -  echo "Path=" >> "$KDEAPP"
    3.73 -  echo "Terminal=0" >> "$KDEAPP"
    3.74 -  echo "Name=Isabelle" >> "$KDEAPP"
    3.75 -fi