1 # Maintainer: Max Gonzih <iam@gonzih.org>
3 pkgname=gnome-shell-extension-pomodoro-git
6 pkgdesc="GNOME Shell extension for pomodoro technique."
8 url="https://github.com/Gonzih/pomodoro-gnome-shell"
10 depends=('gnome-shell')
12 optdepends=('gnome-tweak-tool: A tool to customize advanced GNOME 3 options.')
13 _gitroot="https://github.com/Gonzih/pomodoro-gnome-shell.git"
14 _gitname="pomodoro-gnome-shell"
15 _extensionname="pomodoro@iam.gonzih.org"
19 msg "Connecting to GIT server...."
21 if [ -d $_gitname ] ; then
22 cd $_gitname && git pull origin
23 msg "The local files are updated."
25 git clone $_gitroot $_gitname
28 mkdir -p ${pkgdir}/usr/share/gnome-shell/extensions/${_extensionname}
29 mv ${srcdir}/${_gitname}/* ${pkgdir}/usr/share/gnome-shell/extensions/${_extensionname}/