summaryrefslogtreecommitdiffstats
path: root/gnome1-libs/gtk-theme-switch/DETAILS
blob: 4514cb90143fc57ae02a91767b4680c4b36b8b33 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
           SPELL=gtk-theme-switch
         VERSION=1.0.1
          SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
   SOURCE_URL[0]=http://muhri.net/$SOURCE
     SOURCE_HASH=sha512:995bf111137b02807b50338b99f28837bdf2a419d6f93b22e10e544adc7b96d65a6c54940d5de91f0c9e0104ee479559e3b1ce929c90f1ee8f4df7c8d6e2ea6d
        WEB_SITE=http://muhri.net/nav.php3?node=gts
      LICENSE[0]=GPL
         ENTERED=20020716
        KEYWORDS="gnome1 libs"
       BUILD_API=1
           SHORT="A GTK theme-switching utility."

cat << EOF
GTK Theme Switch is a small and fast command line utility to switch GTK themes
on the fly. It also has an optional GUI to preview the requested theme and
change the font used with it, an optional GUI dock, and it can install themes
downloaded from gtk.themes.org, preview them, or switch to them immediately.
EOF