From fa7527e365abed7a8c8a513a90e9607a2d38950e Mon Sep 17 00:00:00 2001 From: =?utf8?q?IOhannes=20m=20zm=C3=B6lnig=20=28Debian/GNU=29?= Date: Fri, 10 Nov 2023 12:16:03 +0100 Subject: [PATCH] Drop obsolete jacktrip-gui-launcher wrapper-script --- debian/jacktrip-gui-launcher | 7 ------- debian/jacktrip-gui.install | 1 - 2 files changed, 8 deletions(-) delete mode 100755 debian/jacktrip-gui-launcher diff --git a/debian/jacktrip-gui-launcher b/debian/jacktrip-gui-launcher deleted file mode 100755 index 09aab17..0000000 --- a/debian/jacktrip-gui-launcher +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -if [ -z "$1" ]; then - exec /usr/bin/jacktrip-gui -else - exec /usr/bin/jacktrip-gui --gui --deeplink "$1" -fi - diff --git a/debian/jacktrip-gui.install b/debian/jacktrip-gui.install index c2787c6..bddf55b 100644 --- a/debian/jacktrip-gui.install +++ b/debian/jacktrip-gui.install @@ -2,4 +2,3 @@ /usr/share/applications/ /usr/share/icons/ /usr/share/metainfo/ -debian/jacktrip-gui-launcher usr/share/jacktrip/ -- 2.30.2