1 # Maintainer: Sebastian Lenz <sebastian@archusers.de>
2 pkgname=gnome-shell-extension-drive-menu-git
5 pkgdesc="A status menu for accessing and unmounting removable devices."
7 url="http://live.gnome.org/GnomeShell/Extensions"
10 depends=('gnome-shell-extension-common-git')
11 makedepends=('git' 'gnome-common')
17 _gitroot="git://git.gnome.org/gnome-shell-extensions"
18 _gitname="gnome-shell-extensions"
24 msg "Connecting to GIT server...."
26 if [ -d ${_gitname}/.git ] ; then
29 if [ -z $( git branch -v | grep anongit ) ] ; then
30 git remote set-url origin ${_gitroot}
34 msg "The local files are updated."
36 git clone ${_gitroot} ${_gitname}
39 msg "GIT checkout done or server timeout"
40 msg "Starting make..."
42 cd ${srcdir}/${_gitname}
43 ./autogen.sh --prefix=/usr --enable-extensions="drive-menu"
46 cd ${srcdir}/${_gitname}
47 make DESTDIR=${pkgdir} install
48 rm -r ${pkgdir}/usr/share/locale