From bce0467075e0d058ea962d34e6a90c1b64f9a699 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fr=C3=A9d=C3=A9ric=20Perrin?= Date: Sat, 30 Nov 2019 23:34:06 +0000 Subject: [PATCH] [debian] GTK look & feel --- debian/scripts/gpsprune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 debian/scripts/gpsprune diff --git a/debian/scripts/gpsprune b/debian/scripts/gpsprune old mode 100644 new mode 100755 index e2ff721..04177f5 --- a/debian/scripts/gpsprune +++ b/debian/scripts/gpsprune @@ -1,6 +1,6 @@ #!/bin/sh PRUNEJAR=/usr/share/gpsprune/gpsprune.jar -JAVA_OPTS="$JAVA_OPTS -Djava.net.preferIPv4Stack=true" +JAVA_OPTS="$JAVA_OPTS -Djava.net.preferIPv4Stack=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel -Djdk.gtk.version=3" proxyhost=$(echo $http_proxy | sed -n 's?http[s|]://\([^:/]\+\).*?\1?p') proxyport=$(echo $http_proxy | sed -n 's?http[s|]://[^:]\+:\([0-9]\+\).*?\1?p') -- 2.43.0