diff options
Diffstat (limited to 'planetlab/notes.txt')
| -rw-r--r-- | planetlab/notes.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/planetlab/notes.txt b/planetlab/notes.txt new file mode 100644 index 0000000..f2b8cde --- /dev/null +++ b/planetlab/notes.txt @@ -0,0 +1,4 @@ +Redirecting the output is important to allow the ssh process to exit: +pssh/bin/pssh -h ple.txt -O StrictHostKeyChecking=no -i -l irisaple_pacemaker2 "cd client; nohup ./client > foo.out 2> foo.err < /dev/null &" + +pgrep instead of pidof |