From ef463c32a50fa0dc7e98182c4b910a8564222b0c Mon Sep 17 00:00:00 2001
From: Harry Ho <hh@m-labs.hk>
Date: Thu, 13 May 2021 10:37:31 +0800
Subject: [PATCH] Add script for OS shutdown on RP

---
 rp_shutdown | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 rp_shutdown

diff --git a/rp_shutdown b/rp_shutdown
new file mode 100644
index 0000000..fee2f03
--- /dev/null
+++ b/rp_shutdown
@@ -0,0 +1,26 @@
+#!/bin/sh
+
+# RedPitaya hostname and user information
+# (The user should have privilege to run `shutdown` - check out `visudo`)
+# (Add local SSH key to RP's authorized keys for passwordless login)
+export RP_HOST=rp-f0612e
+export RP_USER=tester
+export RP_KEY=~/.ssh/rp
+
+# Issue shutdown on the RedPitaya
+echo "Requesting shutdown on RP at $RP_HOST."
+if [[ $RP_KEY == "" ]]
+then
+    ssh $RP_USER@$RP_HOST "sudo shutdown now"
+else
+    ssh -i $RP_KEY $RP_USER@$RP_HOST "sudo shutdown now"
+fi
+
+# Check if RedPitaya has been disconnected from network by pinging
+while ping $RP_HOST -c 1 >/dev/null 2>/dev/null
+do
+    true
+done
+# Print time when RedPitaya is down on network
+TIMESTAMP_PRETTY=$(date '+%Y-%m-%d %H:%M:%S')
+echo "RP disconnected at $TIMESTAMP_PRETTY."