Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved icons;
authorwenzelm
Fri, 30 Apr 1999 17:59:36 +0200
changeset 6545 a8a235a8a4a3
parent 6544 22b91f7c30d2
child 6546 995a66249a9b
improved icons;
lib/Tools/install file | annotate | diff | comparison | revisions 
--- a/lib/Tools/install	Fri Apr 30 17:46:14 1999 +0200
+++ b/lib/Tools/install	Fri Apr 30 17:59:36 1999 +0200
@@ -99,12 +99,17 @@
 
 KDEHOME=~/.kde
 KDEAPP=~/Desktop/Isabelle.kdelnk
+KDEICONS=$KDEHOME/share/icons
 
 if [ "$KDE" = true ]; then
-  mkdir -p $KDEHOME/share/icons || fail "Bad directory: $KDEHOME/share/icons"
+  mkdir -p $KDEICONS || fail "Bad directory: $KDEICONS"
+  mkdir -p $KDEICONS/mini || fail "Bad directory: $KDEICONS/mini"
 
-  ICON=$KDEHOME/share/icons/isabelle.xpm
-  [ -f $ICON ] || cp $ISABELLE_HOME/lib/logo/isabelle-tiny.xpm $ICON || fail "Cannot write file: $ICON"
+  [ -f $KDEICONS/isabelle.xpm ] || cp $ISABELLE_HOME/lib/icons/isabelle.xpm $KDEICONS || \
+    fail "Cannot write file: $KDEICONS/isabelle.xpm"
+  [ -f $KDEICONS/mini/isabelle.xpm ] || \
+    cp $ISABELLE_HOME/lib/icons/isabelle-mini.xpm $KDEICONS/mini/isabelle.xpm || \
+    fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
 
   echo "installing $KDEAPP"
   echo "# KDE Config File" >$KDEAPP || fail "Cannot write file: $KDEAPP"
isabelle