I don't really understand this comment or why the issue has been closed. As I mentioned, I have a workaround, which is to add the IPs I ssh to in no_proxy. It doesn't change the fact that an SSH process should not be using the settings from the HTTP proxy in the first place.
This message was sent by Atlassian Jira (v7.11.2#711002-sha1:fdc329d)
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.