current commit
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