--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sh.rst Sat Jul 09 01:53:59 2011 +0300 @@ -0,0 +1,6 @@ +-*- mode: outline; coding: utf-8 -*- + +* Kill processes after timeout. + + $ yes xxx& p1=$! ; yes ===& p2=$! ; sleep 2; kill $p1; kill $p2 +