260715.2 · marge: add new machine
#!/bin/sh
set -e
if [ $# != 1 ]; then
echo "Usage: sr-port <host>" >&2
exit 1
fi
host="$1"
case "$host" in
duff)
port=3000
;;
armlisa)
port=3001
;;
maggie)
port=3002
;;
bart)
port=3003
;;
nas2)
port=3004
;;
marge)
port=3005
;;
*)
echo "sr-port: unrecognized hostname $host" >&2
exit 1
;;
esac
echo $port