#! /bin/bash

PORT=22002
MACHINE=paffenroth-23.dyn.wpi.edu

ssh -i $HOME/.ssh/student-admin_key -p ${PORT} -o StrictHostKeyChecking=no student-admin@${MACHINE}