Update cloud server check script

Author: AlphaHydrae

NOTES.md

@@ -1,6 +1,6 @@
 # Notes
 
-## Check a student's EC2 virtual machine
+## Check a student's cloud server
 
 This requires netcat to be installed locally and on the server. Install it with
 `brew install netcat` on macOS with [Homebrew](https://brew.sh).
@@ -11,8 +11,8 @@ ports that are supposed to be open. Those processes echo `OK` once as soon as a
 client connects.
 
 Local netcat commands are then run to connect to each port and verify that the
-`OK` is received. This shows that the AWS firewall was correctly configured to
-open these ports.
+`OK` is received. This shows that the firewall was correctly configured to open
+these ports.
 
 The `listen-server-ports.sh` script is then killed and deleted from the server.
 
@@ -24,7 +24,7 @@ The `hostname` and the contents of the `/etc/hostname` files are also displayed
 for validation.
 
 ```bash
-$> ./scripts/check-aws-instance.sh 1.2.3.4
+$> ./scripts/check-student-server.sh 1.2.3.4 admin_user
 ```
 
 > Note: each `nc` command must be stopped by typing `Ctrl-C` **once** after the

scripts/check-aws-instance.sh

@@ -0,0 +1,33 @@
+#!/bin/bash
+fail() {
+  >&2 echo "$@"
+  exit 1
+}
+
+STUDENT_IP="$1"
+STUDENT_USER="$2"
+test -n "$STUDENT_IP" || fail "The IP address of the machine to check must be provided to this script as the first argument"
+test -n "$STUDENT_USER" || fail "The username of the account to connect as must be provided to this script as the second argument"
+
+scp -i id_rsa scripts/listen-server-ports.sh ${STUDENT_USER}@$STUDENT_IP:/home/${STUDENT_USER}/listen-server-ports.sh || fail "Could not copy listen-server-ports.sh script to server"
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP chmod 755 /home/${STUDENT_USER}/listen-server-ports.sh || fail "Could not set permissions of listen-server-ports.sh script on server"
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP "sudo nohup /home/${STUDENT_USER}/listen-server-ports.sh &>/dev/null < /dev/null &" || fail "Could not execute listen-server-ports.sh script on server"
+
+echo
+for port in 80 443 3000 3001; do
+  echo $port; nc -w 1 $STUDENT_IP $port
+done
+
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP sudo killall listen-server-ports.sh
+
+echo
+for port in 80 443 3000 3001; do
+  echo $port; nc -w 1 $STUDENT_IP $port && echo NOK || echo closed
+done
+
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP rm -f /home/${STUDENT_USER}/listen-server-ports.sh
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP "sudo ls -laR /home/*/.ssh"
+
+echo
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP hostname
+ssh -i id_rsa ${STUDENT_USER}@$STUDENT_IP cat /etc/hostname