sh.rst
changeset 1128 4774202d406d
parent 1127 dde32ede80c9
child 1129 63a7fba0f263
equal deleted inserted replaced
1127:dde32ede80c9 1128:4774202d406d
     1 -*- mode: outline; coding: utf-8 -*-
       
     2 
       
     3 * Kill processes after timeout.
       
     4 
       
     5   $ yes xxx& p1=$! ; yes ===& p2=$! ; sleep 2; kill $p1; kill $p2
       
     6