diff options
| -rw-r--r-- | planetlab/notes.txt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/planetlab/notes.txt b/planetlab/notes.txt index 918c437..d8ef380 100644 --- a/planetlab/notes.txt +++ b/planetlab/notes.txt @@ -1,6 +1,7 @@ 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 &" pssh/bin/pslurp -h ple.txt -O StrictHostKeyChecking=no -l irisaple_pacemaker2 -r -L data /home/irisaple_pacemaker2/client/log ./ +pssh/bin/pssh -h ple.txt -O StrictHostKeyChecking=no -P -l irisaple_pacemaker2 "arch" | grep SUCCESS | awk '{print $4}' | sort +pssh/bin/pssh -h ple.txt -O StrictHostKeyChecking=no -P -l irisaple_pacemaker2 "pgrep client" | grep -v -E "(FAILURE|SUCCESS)" | awk '{print $1}' | sort - -pgrep instead of pidof |