[Pkg-xfce-devel] Fixing bug 374618

[Yves-Alexis Perez]

On dim, 2007-04-22 at 16:50 +0100, Simon Huggins wrote:
> I spoke to Michael Banck on IRC.  It seems that kill is usually in
> /usr/bin/kill on Hurd 
> 
> He's filed #380387 about moving kill to /usr/bin but until then
> something like:
> KILL=/bin/kill
> if [ ! -x $KILL ]; then
> 	# Probably Hurd
> 	KILL=/usr/bin/kill
> fi
> 
> in every postinst that uses kill should be ok shouldn't it? (and then
> substituing /bin/kill for $KILL of course.
> 
> 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?

Regards,
-- 
Yves-Alexis Perez