On 16.08.2012 15:23, Florian Haftmann wrote:
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.
While I second that advice, I would choose a hostname which does not
point to a really existing machine ;)
-- Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
