--- a/lib/Tools/install Wed Feb 14 23:17:53 2001 +0100
+++ b/lib/Tools/install Wed Feb 14 23:18:47 2001 +0100
@@ -17,7 +17,8 @@
echo " Options are:"
echo " -d DISTDIR refer to DISTDIR as Isabelle distribution"
echo " (default ISABELLE_HOME)"
- echo " -k install KDE application icon on Desktop"
+ echo " -k VERSION install KDE application icon on desktop"
+ echo " (for KDE VERSION 1 or 2)"
echo " -p DIR install standalone binaries in DIR"
echo
echo " Install Isabelle executables with absolute references to the current"
@@ -43,7 +44,7 @@
KDE=""
BINDIR=""
-while getopts "d:kp:" OPT
+while getopts "d:k:p:" OPT
do
case "$OPT" in
d)
@@ -51,7 +52,7 @@
NO_OPTS=""
;;
k)
- KDE=true
+ KDE="$OPTARG"
NO_OPTS=""
;;
p)
@@ -107,13 +108,22 @@
fi
-# install KDE application icon
+# install KDE 1.x / 2.x application icon
-KDEHOME=~/.kde
-KDEAPP=~/Desktop/Isabelle.kdelnk
-KDEICONS="$KDEHOME/share/icons"
+if [ -n "$KDE" ]; then
+ if [ "$KDE" = 1 ]; then
+ KDEHOME=~/.kde
+ KDEDESKTOP=~/Desktop
+ KDEAPP="$KDEDESKTOP/Isabelle.kdelnk"
+ elif [ "$KDE" = 2 ]; then
+ KDEHOME=~/.kde2
+ KDEDESKTOP=~/KDesktop
+ KDEAPP="$KDEDESKTOP/Isabelle.desktop"
+ else
+ fail "Unknown KDE version \"$KDE\""
+ fi
-if [ "$KDE" = true ]; then
+ KDEICONS="$KDEHOME/share/icons"
mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
@@ -133,7 +143,4 @@
echo "Path=" >> "$KDEAPP"
echo "Terminal=0" >> "$KDEAPP"
echo "Name=Isabelle" >> "$KDEAPP"
-
- echo
- echo "Please refresh your KDE desktop now!"
fi