Pastebin
Paste #928: zsh
< previous paste - next paste>
Pasted by tdn
#!/usr/bin/zsh [...] python foo.py& PID=$! echo "PID=$PID" sleep 10 make foo kill -TERM $PID
New Paste
Go to most recent paste.
< previous paste - next paste>
#!/usr/bin/zsh [...] python foo.py& PID=$! echo "PID=$PID" sleep 10 make foo kill -TERM $PID
Go to most recent paste.
