diff options
Diffstat (limited to 'planetlab')
| -rw-r--r-- | planetlab/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/planetlab/Makefile b/planetlab/Makefile new file mode 100644 index 0000000..648868c --- /dev/null +++ b/planetlab/Makefile @@ -0,0 +1,6 @@ +status: + pssh/bin/pssh -h ple.txt -O StrictHostKeyChecking=no -P -l irisaple_pacemaker2 "arch" | grep SUCCESS | awk '{print $$4}' | sort > alive.txt + pssh/bin/pssh -h ple.txt -O StrictHostKeyChecking=no -P -l irisaple_pacemaker2 "pgrep client" | grep -v -E "(FAILURE|SUCCESS)" | awk '{print $$1}' | sort > running.txt + +import: + pssh/bin/pslurp -h ple.txt -O StrictHostKeyChecking=no -l irisaple_pacemaker2 -r -L data /home/irisaple_pacemaker2/client/log ./
\ No newline at end of file |