[Pkg-xfce-devel] Fixing bug 374618
huggie at earth.li
Sun Sep 30 17:48:40 UTC 2007
On Mon, Sep 17, 2007 at 10:40:10PM +0200, Yves-Alexis Perez wrote:
> 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
That would work with both bash and normal kill so does seem sane.
Though we initially did this to get around bashisms. I'll play with the
packages some time this week.
Simon Huggins \ "I got everything up to the part about `Now listen
\ closely'" - The Cat.
http://www.earth.li/~huggie/ htag.pl 0.0.22
More information about the Pkg-xfce-devel