blob: 4be20838f5dfa0cec0e5fd06bc24107259a20ebc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
SPELL=gnome-shell-extensions
VERSION=3.0.2
BRANCH=`echo $VERSION|cut -d . -f 1,2`
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
SOURCE_URL[0]=$GNOME_URL/sources/$SPELL/$BRANCH/$SOURCE
SOURCE_GPG="gurus.gpg:${SOURCE}.sig"
LICENSE[0]=GPL
WEB_SITE=http://live.gnome.org/GnomeShell/Extensions
ENTERED=20110521
SHORT="GNOME Shell Extensions"
cat << EOF
GNOME Shell Extensions is a collection of extensions providing additional
and optional functionality to GNOME Shell.
EOF
|