diff options
| author | Nathaniel Russell <naterussell83@gmail.com> | 2022-11-24 21:36:59 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-11-24 21:36:59 +0700 |
| commit | 5f0ac532bafc692f885f5dd7584e2a0c3d35666a (patch) | |
| tree | 62ebc0727cf150f8320c7c26c2d2153d9ca2f77f /desktop/gnome-shell-extension-arc-menu | |
| parent | f7ffa6a32972c0653100433cd60cc424ca7b4cc2 (diff) | |
desktop/gnome-shell-extension-arc-menu: Added (Application menu).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'desktop/gnome-shell-extension-arc-menu')
| -rw-r--r-- | desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild b/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild index 7b138dfbd3bf5..d6f0aa3d1b789 100644 --- a/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild +++ b/desktop/gnome-shell-extension-arc-menu/gnome-shell-extension-arc-menu.SlackBuild @@ -73,7 +73,7 @@ find -L . \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; make ; make install DESTDIR=$PKG - + find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true |