diff options
author | Sebastian Wiesner | 2020-05-19 13:32:03 +0200 |
---|---|---|
committer | Sebastian Wiesner | 2020-05-19 13:32:03 +0200 |
commit | 96098525c6f136d3840bdc2548226719cc58b510 (patch) | |
tree | e13b33ae3f4ecb5e0008b7b2b14b56534844fcb4 | |
download | aur-96098525c6f136d3840bdc2548226719cc58b510.tar.gz |
Add JetBrains search provider
-rw-r--r-- | .SRCINFO | 16 | ||||
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | PKGBUILD | 22 |
3 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..e16383709b65 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = gnome-shell-extension-jetbrains-search-provider + pkgdesc = Add recent projects from JetBrains IDEs to Gnome Shell search + pkgver = 1 + pkgrel = 1 + url = https://github.com/lunaryorn/jetbrains-search-provider/ + arch = any + license = Apache + depends = gnome-shell>=3.36 + depends = python>=3.6 + source = https://github.com/lunaryorn/jetbrains-search-provider//releases/download/v1/jetbrains-search-provider@swsnr.de.shell-extension.zip + md5sums = bb2f40d30565fb413d75762b9dbe307d + sha1sums = 94a1fff87039b03d98f2982c20a19eaf5849fb67 + sha512sums = e050b5664767f0ec6056c438ca3784ed79d43e24bcb4aab8051c775b22a997f4af54852bbbac1c472e7af064146639cc13f70660dd44804cb4e4a17af0a7c242 + +pkgname = gnome-shell-extension-jetbrains-search-provider + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..a980af00afe5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +* +!/.gitignore +!/PKGBUILD +!/.SRCINFO diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..37ba64077416 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,22 @@ +# Maintainer: Sebastian Wiesner <sebastian@swsnr.de> + +_uuid="jetbrains-search-provider@swsnr.de" +pkgname=gnome-shell-extension-jetbrains-search-provider +pkgver=1 +pkgrel=1 +pkgdesc="Add recent projects from JetBrains IDEs to Gnome Shell search" +arch=('any') +url="https://github.com/lunaryorn/jetbrains-search-provider/" +license=('Apache') +depends=('gnome-shell>=3.36' 'python>=3.6') +source=("$url/releases/download/v$pkgver/${_uuid}.shell-extension.zip") +md5sums=('bb2f40d30565fb413d75762b9dbe307d') +sha1sums=('94a1fff87039b03d98f2982c20a19eaf5849fb67') +sha512sums=('e050b5664767f0ec6056c438ca3784ed79d43e24bcb4aab8051c775b22a997f4af54852bbbac1c472e7af064146639cc13f70660dd44804cb4e4a17af0a7c242') + +package() { + local _destdir="$pkgdir/usr/share/gnome-shell/extensions/$_uuid" + + install -d "$_destdir" + cp --parents -t "$_destdir" -- metadata.json *.js *.py +} |