▲ | idatum 6 days ago | |||||||||||||
Or just use a different myhost, like "t-myhost" (i.e. myhost != hostname)? | ||||||||||||||
▲ | homebrewer 6 days ago | parent [-] | |||||||||||||
Which would require creating a couple of hundred (in my case) duplicate host aliases instead of adding one shell alias that can be used with any host, including those not mentioned in ~/.ssh/config. | ||||||||||||||
|