Re: patch x11/jgmenu jgmenu_run

On 08 Sep 19:25, Uwe Werler wrote:
> Hi all,
>
> this changes jgmenu_run to use pkill instead of killall and avoids therefore
> starting multiple instances of jgmenu when invoked by jgmenu_run e.g. via
> tint2 and speeds up jgmenu notable.
>
> Index: patches/patch-src_jgmenu_run
> ===================================================================
> RCS file: patches/patch-src_jgmenu_run
> diff -N patches/patch-src_jgmenu_run
> --- /dev/null 1 Jan 1970 00:00:00 -0000
> +++ patches/patch-src_jgmenu_run 8 Sep 2020 19:18:45 -0000
> @@ -0,0 +1,14 @@
> +$OpenBSD$
> +
> +Index: src/jgmenu_run
> +--- src/jgmenu_run.orig
> ++++ src/jgmenu_run
> +@@ -57,7 +57,7 @@ then
> + if test -e ${JGMENU_LOCKFILE}
> + then
> + send_tint2_env_vars_to_jgmenu
> +- if killall -SIGUSR1 jgmenu >/dev/null 2>&1
> ++ if pkill -USR1 jgmenu >/dev/null 2>&1
> + then
> + exit 0
> + else
>
> --
>
> With kind regards / Með bestu kveðju / Mit freundlichen Grüßen
>
> Uwe Werler
>

Sorry, now with port bump:


Index: Makefile
===================================================================
RCS file: /cvs/ports/x11/jgmenu/Makefile,v
retrieving revision 1.7
diff -u -p -u -r1.7 Makefile
--- Makefile 3 Jul 2020 21:13:22 -0000 1.7
+++ Makefile 8 Sep 2020 20:13:17 -0000
@@ -6,7 +6,7 @@ CATEGORIES = x11
GH_ACCOUNT = johanmalm
GH_PROJECT = jgmenu
GH_TAGNAME = v2.1
-REVISION = 2
+REVISION = 3

# GPLv2 only
PERMIT_PACKAGE = Yes
Index: patches/patch-src_jgmenu_run
===================================================================
RCS file: patches/patch-src_jgmenu_run
diff -N patches/patch-src_jgmenu_run
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-src_jgmenu_run 8 Sep 2020 20:13:17 -0000
@@ -0,0 +1,14 @@
+$OpenBSD$
+
+Index: src/jgmenu_run
+--- src/jgmenu_run.orig
++++ src/jgmenu_run
+@@ -58,7 +58,7 @@ then
+ if test -e ${JGMENU_LOCKFILE}
+ then
+ send_tint2_env_vars_to_jgmenu
+- if killall -SIGUSR1 jgmenu >/dev/null 2>&1
++ if pkill -USR1 jgmenu >/dev/null 2>&1
+ then
+ exit 0
+ else

--

With kind regards / Með bestu kveðju / Mit freundlichen Grüßen

Uwe Werler