[Pkg-xfce-devel] Fixing bug 374618
On lun, 2007-09-17 at 22:36 +0200, Yves-Alexis Perez wrote:
> > If anyone has a nicer way or agrees/disagrees then do speak up.
> I'm ok with this, but do we remember why we can't use directly "kill"
> and let the system decide which kill it'll use? Shell builtin I guess,
> but maybe there's a way not to use it while still don't precise the
> complete path?
Or maybe we should use:
kill -s USR1 `pidof xfce-mcs-manager` >/dev/null 2>&1|| true
(instead of kill -USR1 `pidof xfce-mcs-manager`) so it uses bash kill