> Franz Huber has recently recommended the following machines for external > logins: > > lxlabbroy1..15 > macbroy20..29 > > Although he cannot guarantee continous availability of these relatively > old and fragile systems. > > I usually have my own indirection via .ssh/config or local /etc/hosts to > make an alias that can be easily switched on demand, without editing too > many hgrc files.
E.g.
Host nfsbroy
HostName macbroy20.informatik.tu-muenchen.de
User haftmann
ForwardAgent yes
ForwardX11 yes
I now even got used to pretend that »nfsbroy« is a really existing
machine with the typical nfs mountpoints.
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
