blob: 159eb18acfcb1ec293d818694bec550936bc254a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
SPELL=gnome-shell-extensions
VERSION=3.2.0
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
|
