diff options
| author | jonian | 2021-10-28 17:32:56 +0300 |
|---|---|---|
| committer | jonian | 2021-10-28 17:32:56 +0300 |
| commit | 82e1ebf2b640ca50dd32200d7686e576bab8294a (patch) | |
| tree | abe23ad5d40d8c08023ed9e3cf35f4d216d4e645 | |
| parent | e1972c0c8ac361f5cfef8c19120b91360f72fc0f (diff) | |
| download | aur-82e1ebf2b640ca50dd32200d7686e576bab8294a.tar.gz | |
code optimizations
| -rw-r--r-- | PKGBUILD | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -12,5 +12,6 @@ source=("$pkgname-$pkgver.tar.gz::$url/archive/$pkgver.tar.gz") md5sums=("befb01c84162d97345ce171947074aa8") package() { - install -d "$pkgdir/usr/share/gnome-shell/extensions" && cp -a "$srcdir/gnome-extension-development-utility-$pkgver/extension-development-utility@maestroschan.fr" "$_" + install -d "$pkgdir/usr/share/gnome-shell/extensions" \ + && cp -a "$srcdir/gnome-extension-development-utility-$pkgver/extension-development-utility@maestroschan.fr" "$_" } |