No subject

loki.auton.cs.cmu.edu" or "ssh 128.2.179.122" still works. However, doing
either of these from one of the alphas, for example, will fail because
loki has address 192.168.1.4 inside the lab. This is inconvenient for
everyone, and we have been working around this problem in a
non-sustainable way.

We believe the best solution is to put the "inside" machines our other
domain, autonlab.org.  This would allow external machines to ssh to
loki.auton.cs.cmu.edu *or* loki.autonlab.org *or* 128.2.179.122.  Inside
the lab, one could still ssh to loki.autonlab.org *or* loki, and the right
thing would happen.  However, ssh'ing to loki.auton.cs.cmu.edu or
128.2.179.122 would still fail.

Summary: if we make the proposed change, you can always use the name
loki.autonlab.org, and loki.auton.cs.cmu.edu would continue to work from
outside the lab.

Alternative suggestions are welcome.  In fact, *all* comments are welcome!
Please let us know any concerns or reservations you have about this
proposal.

-Paul Komarek