On Jan 4, 2012, at 10:55 AM, Clemens Buchacher wrote: > On Tue, Jan 03, 2012 at 11:34:08AM -0800, Junio C Hamano wrote: >>> + # kill git-daemon child of git >>> + say >&3 "Stopping git daemon ..." >>> + pkill -P "$DAEMON_PID" >> >> How portable is this one (I usually do not trust use of pkill anywhere)? > > I read that it is supposed to be more portable than skill or killall. > But I have no way to research this. I have implemented a workaround > using only 'ps' and 'kill' in [PATCH 3/6] avoid use of pkill. As a data point: pkill and skill do not exist on OS X 10.7, but killall does. ~~ Brian Gernhardt -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html