It seems like this is a bug that has already been reported to the developers of openSSH. Please consider commenting in the upstream bug (https://bugzilla.mindrot.org/show_bug.cgi?id=1585) and proposing your patch, possibly integrating some of the work in the draft patch that is already included there.
Looks like there are some extra changes too, so that might need to be cleaned up. ** Bug watch added: OpenSSH Portable Bugzilla #1585 https://bugzilla.mindrot.org/show_bug.cgi?id=1585 ** Also affects: openssh via https://bugzilla.mindrot.org/show_bug.cgi?id=1585 Importance: Unknown Status: Unknown ** Changed in: openssh (Ubuntu) Status: New => Confirmed ** Changed in: openssh (Ubuntu) Importance: Undecided => Wishlist -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to openssh in ubuntu. https://bugs.launchpad.net/bugs/739495 Title: include in .ssh/config -- Ubuntu-server-bugs mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
