On Mon, Sep 22, 2014 at 10:38:42AM +0100, mick wrote:

On Mon, 22 Sep 2014 08:52:26 +0100 Chris Green cl@isbd.net allegedly wrote:

...

On Sun, Sep 21, 2014 at 11:25:23PM +0100, steve-ALUG@hst.me.uk wrote:

...

On 20/09/14 13:19, Chris Green wrote:

...

As I move around from home to various other places different systems that I connect to from my laptop become 'local'. Being a lazy person I really don't want to type in long complicated ssh commands when I'm connecting remotely. Thus I have in the ~/.ssh/config file the following:-

Sigh.

Chris

Why do you keep asking variants of the same question? Lots of different people have taken the time and effort to answer those questions for you at various times in the past, yet you ignore the answers and come back with yet another variant of the "how do I do this when connecting to/from my boat"?

Please read the question! :-) It's very much *not* the same question as I've asked before. The specific issue is because of my use of ProxyCommand in my ~/.ssh/config file. It's *not* "how do I get local names to work".