Нахожусь в корпоративной сети. Имею доступ как пользователь к линуховому серверу, у которого есть выход в интернет. Захожу на этот сервер по SSH через Putty.

На рабочем месте Windows 7. Для серфинга включаю Putty, которая делает туннель и поднимает локально на машине порт SOCKS5 Proxy. Запускаю FireFox, у которого настроено использование SOCKS5 Proxy, и стоит галочка «Удаленный DNS» (в других браузерах, кстати, такой настройки не предусмотрено, поэтому они не подходят). И интернет в FireFox работает.

Теперь мне нужно начать работать с git. В git есть глобальные настройки:

> git config --list

http.proxy='socks5://127.0.0.1:9999'
https.proxy='socks5://127.0.0.1:9999'
socks.proxy=127.0.0.1:9999
socks5.proxy=127.0.0.1:9999

Однако при попытке запушить изменения, получаю ошибку:

> git push

ssh: github.com: no address associated with name
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.

Похоже, что ошибка эта из-за того, что git не умеет резолвить DNS-имена через SOCKS5 Proxy, а просто пользуется тем что есть в системе. А может быть, нужна какая-то дополнительная настройка.

Вопрос. Что можно в такой ситуации сделать, чтобы git начал нормально работать через SOCKS5 Proxy? Понимаю, что винда, но мне сие необходимо для разработки СПО проектов https://github.com/xintrea.