diff options
author | Jonian Guveli | 2016-12-26 23:38:58 +0200 |
---|---|---|
committer | Jonian Guveli | 2016-12-26 23:38:58 +0200 |
commit | a65f9e1206a175c71e3020bddbcdff45691816fe (patch) | |
tree | e556c3061d08a529d8826d92c15da2ffc90671f2 /PKGBUILD | |
download | aur-a65f9e1206a175c71e3020bddbcdff45691816fe.tar.gz |
initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..024105815ce0 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: Jonian Guveli <https://github.com/jonian/> +pkgname=devdocs-desktop +pkgver=0.1.0 +pkgrel=1 +pkgdesc="DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface." +arch=("any") +url="https://github.com/hardpixel/devdocs-desktop" +license=("GPL") +depends=("python gtk3 webkitgtk") +provides=("devdocs-desktop") +source=("https://github.com/hardpixel/devdocs-desktop/archive/v"$pkgver".tar.gz") +md5sums=("2c728d855b6a9681f3dd77612f4197de") + +package() { + mkdir -p "$pkgdir/opt" + mkdir -p "$pkgdir/usr/bin" + mkdir -p "$pkgdir/usr/share/applications" + mkdir -p "$pkgdir/usr/share/icons/hicolor/128x128/apps" + mkdir -p "$pkgdir/usr/share/icons/gnome/128x128/apps" + + cp -a "$srcdir/$pkgname-$pkgver" "$pkgdir/opt/$pkgname" + + ln -s "/opt/$pkgname/devdocs_desktop.py" "$pkgdir/usr/bin/devdocs-desktop" + mv "$pkgdir/opt/$pkgname/devdocs-desktop.desktop" "$pkgdir/usr/share/applications/devdocs-desktop.desktop" + + cp -a "$srcdir/$pkgname-$pkgver/icons/." "$pkgdir/usr/share/icons/hicolor/128x128/apps" + cp -a "$srcdir/$pkgname-$pkgver/icons/." "$pkgdir/usr/share/icons/gnome/128x128/apps" +} |