27 lines
758 B
Bash
27 lines
758 B
Bash
#!/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."
|