Re: [Savannah-hackers-public] sv host aliases

[Karl Berry]

    you can add something like this to .ssh/config:
    Host dl
      Hostname download.sv.gnu.org

As previously threatened :), I added aliases like this for all the
internal host names, and made small corresponding updates to
http://savannah.gnu.org/maintenance/SavannahArchitecture.  I also
changed the prompts on the internal hosts to consistently be 
  PS1='\h:\w\$ '

Hope nothing untoward results ...

(Thanks again for the tip, Jim.  I'm not used to not controlling my own
dns. :)

k