diff options
| author | Ole Ernst | 2015-06-26 10:10:34 +0200 |
|---|---|---|
| committer | Ole Ernst | 2015-06-26 10:10:34 +0200 |
| commit | 58d10059b65a5d6ecc774bd6ce17c5c5ed90939f (patch) | |
| tree | 108693ab237042f1fb2019f2e21b58b374915cca /PKGBUILD | |
| download | aur-gnome-shell-extension-timer-git.tar.gz | |
migrate to aur4
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..102038a57ce4 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: Ole Ernst <olebowle at gmx dot com> +pkgname=gnome-shell-extension-timer-git +pkgver=20121103 +pkgrel=1 +pkgdesc="A simple timer extension for gnome-shell" +arch=('any') +url="http://github.com/olebowle/gnome-shell-timer" +license=('GPL3') +depends=('gnome-shell' 'python2') +makedepends=('git') +install="$pkgname.install" +source=("git://github.com/olebowle/gnome-shell-timer.git") +sha256sums=('SKIP') + +package() { + cd gnome-shell-timer + install -Dm755 gnome-shell-timer-config.py "$pkgdir/usr/bin/gnome-shell-timer-config" + install -Dm644 gnome-shell-timer-config.svg "$pkgdir/usr/share/icons/hicolor/scalable/apps/gnome-shell-timer-config.svg" + install -Dm644 utilities-timer-symbolic.svg "$pkgdir/usr/share/icons/hicolor/scalable/apps/utilities-timer-symbolic.svg" + install -Dm644 gnome-shell-timer-config.desktop "$pkgdir/usr/share/applications/gnome-shell-timer-config.desktop" + install -Dm644 org.gnome.shell.extensions.timer.gschema.xml "$pkgdir/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.timer.gschema.xml" + + mkdir -p "$pkgdir/usr/share/gnome-shell/extensions" + cp -r "timer@olebowle.gmx.com" "$pkgdir/usr/share/gnome-shell/extensions/" + + cd po + for _lang in */; do + mkdir -p "$pkgdir/usr/share/locale/${_lang}LC_MESSAGES" + msgfmt -cv -o "$pkgdir/usr/share/locale/${_lang}LC_MESSAGES/gnome-shell-timer.mo" "${_lang}gnome-shell-timer.po" + done +} |