Refresh patches

diff --git a/debian/patches/dont_compress_manpages.patch b/debian/patches/dont_compress_manpages.patch
index 5f763e8cd0fa92e91904efcd4f48c938ebecc01c..0c5e5e0846d43b37a266f3d9c0ab8e8547d8d6da 100644 (file)
--- a/debian/patches/dont_compress_manpages.patch
+++ b/debian/patches/dont_compress_manpages.patch
@@ -8,7 +8,7 @@ Last-Update: 2023-09-25
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 --- jacktrip.orig/meson.build
 +++ jacktrip/meson.build
-@@ -306,7 +306,7 @@
+@@ -302,7 +302,7 @@
                        command: [help2man, help2man_opts, '--output=@OUTPUT@', jacktrip],
                        install: not gzip.found(),
                        install_dir: get_option('mandir') / 'man1')
@@ -17,7 +17,7 @@ This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
                        custom_target('jacktrip.1.gz',
                                input: manfile,
                                output: 'jacktrip.1.gz',
-@@ -324,4 +324,4 @@
+@@ -320,4 +320,4 @@
  summary({'Application ID': application_id,
        'GUI': not get_option('nogui'),
        'WAIR': get_option('wair'),

diff --git a/debian/patches/gui-launcher.patch b/debian/patches/gui-launcher.patch
index 9e7d7ce31e9e6baa6f6b4af5ae048483410818ab..ec3c5876fff4869ae9011c956cd3f012c7e5ea4b 100644 (file)
--- a/debian/patches/gui-launcher.patch
+++ b/debian/patches/gui-launcher.patch
@@ -1,8 +1,8 @@
 Description: Use wrapper-script to launch jacktrip-gui from .desktop
 Author: IOhannes m zmölnig
 Origin: Debian
-Bug: https://github.com/jacktrip/jacktrip/issues/802
-Last-Update: 2023-01-27
+Forwarded: not-needed
+Last-Update: 2023-11-10
 ---
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 --- jacktrip.orig/linux/org.jacktrip.JackTrip.desktop.in
@@ -11,8 +11,8 @@ This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
  Name=JackTrip@name_suffix@
  Comment=Network Music Performance over the Internet
  Comment[fr]=Performance de musique en réseau sur internet
--Exec=/bin/bash -c "if [ -z ""\$"1" ]; then jacktrip; else jacktrip --gui --deeplink ""\$"1"; fi" /bin/bash %u
-+Exec=/usr/share/jacktrip/jacktrip-gui-launcher %u
+-Exec=jacktrip %u
++Exec=/usr/bin/jacktrip-gui %u
  Icon=@icon@
  Terminal=false
  StartupWMClass=@wmclass@