diff options
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 5 |
2 files changed, 4 insertions, 3 deletions
@@ -1,5 +1,5 @@ pkgbase = gnome-shell-extension-dash-to-dock - pkgdesc = move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops + pkgdesc = move the dash out of the overview transforming it in a dock pkgver = 53 pkgrel = 1 url = https://micheleg.github.io/dash-to-dock/ @@ -8,7 +8,7 @@ pkgname=gnome-shell-extension-dash-to-dock pkgver=53 pkgrel=1 -pkgdesc="move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops" +pkgdesc="move the dash out of the overview transforming it in a dock" arch=('any') url="https://micheleg.github.io/dash-to-dock/" license=('GPL') @@ -45,7 +45,8 @@ package_01_locate() { package_02_install() { msg2 'Installing extension code...' - find -maxdepth 1 \( -iname '*.js*' -or -iname '*.css' -or -iname '*.ui' \) -exec install -Dm644 -t "$destdir" '{}' + + find -maxdepth 1 \( -iname '*.js*' -or -iname '*.css' -or -iname '*.ui' \) \ + -exec install -Dm644 -t "$destdir" '{}' + } package_09_media() { |