1 # Maintainer: Sebastian Lenz <sebastian@archusers.de>
2 pkgname=gnome-shell-extension-windowsnavigator-git
5 pkgdesc="Allow keyboard selection of windows and workspaces in overlay mode."
7 url="http://live.gnome.org/GnomeShell/Extensions"
9 depends=('gnome-shell-extension-common-git')
10 makedepends=('git' 'gnome-common' 'intltool')
11 conflicts=('gnome-shell-extensions-git')
12 _gitroot="git://git.gnome.org/gnome-shell-extensions"
13 _gitname="gnome-shell-extensions"
17 msg "Connecting to GIT server...."
19 if [ -d $_gitname ] ; then
20 cd $_gitname && git pull origin
21 msg "The local files are updated."
23 git clone $_gitroot --depth=1
26 git branch -f gnome-3-0 origin/gnome-3-0
27 git checkout gnome-3-0
30 msg "GIT checkout done or server timeout"
31 msg "Starting make..."
33 cd ${srcdir}/${_gitname}
34 ./autogen.sh --prefix=/usr --enable-extensions="windowsNavigator"
37 cd ${srcdir}/${_gitname}
38 make DESTDIR=${pkgdir} install
39 rm -r ${pkgdir}/usr/share/locale