--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/sh.rst Mon Jul 11 11:11:18 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 +