diff options
author | Chocobo1 | 2020-10-20 00:04:57 +0800 |
---|---|---|
committer | Chocobo1 | 2020-10-20 00:04:57 +0800 |
commit | 3c49d0e399719aa72155121ca7280dd3706c0dce (patch) | |
tree | 463de74ae3fccc832eb9e02bd0aaf740b311431d | |
parent | 119f24e6bbe21556e408d4495644424d58d1b57b (diff) | |
download | aur-3c49d0e399719aa72155121ca7280dd3706c0dce.tar.gz |
upgpkg: editorconfig-gedit-git 0.5.3.r195.ga7190f7-2
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 4 insertions, 8 deletions
@@ -1,7 +1,7 @@ pkgbase = editorconfig-gedit-git pkgdesc = EditorConfig plugin for gedit pkgver = 0.5.3.r195.ga7190f7 - pkgrel = 1 + pkgrel = 2 url = https://editorconfig.org/ arch = any license = BSD @@ -2,7 +2,7 @@ pkgname=editorconfig-gedit-git pkgver=0.5.3.r195.ga7190f7 -pkgrel=1 +pkgrel=2 pkgdesc="EditorConfig plugin for gedit" arch=('any') url="https://editorconfig.org/" @@ -24,12 +24,8 @@ pkgver() { package() { cd "editorconfig-gedit" - _installdir="$pkgdir/usr/lib/gedit/plugins" - install -d "$_installdir" - - cp -r "editorconfig_plugin/" "$_installdir" - install "editorconfig.plugin" -t "$_installdir" - install "editorconfig_gedit3.py" -t "$_installdir" + install -Dm644 {editorconfig.plugin,editorconfig_gedit3.py} -t "$pkgdir/usr/lib/gedit/plugins" + cp -r "editorconfig_plugin" "$pkgdir/usr/lib/gedit/plugins" install -Dm644 "LICENSE" -t "$pkgdir/usr/share/licenses/editorconfig-gedit" } |