Bring these back

jupyter-nersc/web-jupyterhub/hub-scripts/kill-cori.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+# Shut down all but the newest jupyterhub server running.
+
+hostname=$1
+username=$2
+cert=/certs/$username.key
+echo $username $cert
+if [ ! -f $cert ]; then
+    echo " ... no cert for $username"
+    exit 1
+fi
+/usr/bin/ssh                                \
+    -i $cert                                \
+    -l $username                            \
+    -o PreferredAuthentications=publickey   \
+    -o StrictHostKeyChecking=no             \
+    -p 22                                   \
+    $hostname                               \
+    /global/common/shared/das/jupyterhub/kill-my-old-jupyters.sh

jupyter-nersc/web-jupyterhub/hub-scripts/scram-user.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+
+# Useful when JupyterHub thinks a user has no server running
+# but actually they do, and they still have a cert.
+
+hostname=$1
+username=$2
+cert=/certs/$username.key
+echo $username $cert
+if [ ! -f $cert ]; then
+    echo " ... SKIPPED no cert for $username"
+    continue
+fi
+for i in 1 2 3
+do
+    /usr/bin/ssh                                \
+        -i $cert                                \
+        -l $username                            \
+        -o PreferredAuthentications=publickey   \
+        -o StrictHostKeyChecking=no             \
+        -p 22                                   \
+        $hostname                               \
+        killall -u $username
+    sleep 1
+done