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

[Jim Meyering]

Karl Berry wrote:
>     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\$ '

Thanks!