PasteBin on this domain is being retired. Please use PasteBin on paste.adora.dk instead.

Pastebin

Paste #928: zsh

< previous paste - next paste>

Pasted by tdn

Download View as text 

#!/usr/bin/zsh
[...]
python foo.py&
PID=$!
echo "PID=$PID"
sleep 10
make foo
kill -TERM $PID

Paste below


Do not write anything in this field if you're a human.

Go to most recent paste.

(c) Copyright 2005-2011 Thomas Damgaard Nielsen.