Le 29/05/2017 à 11:40, Roman Haefeli a écrit :
My main problem is still that I find it hard to kill a still running command, especially when I want to kill a specific one when many are running.
The kill command should do the trick, it needs PID, and this should appear in stdout by doing 'command & echo $!'
_______________________________________________ Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
