keithw/mosh — Issue #33: Workaround for missing MOSH IP
Author: keithw
Created: 2012-02-28 16:37:51+00:00
State: open

Some sites already use ProxyCommand or disable it for some reason. Perhaps the mosh script should gracefully fall back to looking up the remote IP itself in that case -- this will fail on multihomed DNS round-robin sites but at least it won't fail 100% of the time.