Учим Eclipse ходить через прокси

Долгое время меня мучила такая проблема как невозможность правильно настроить работу Eclipse с прокси-сервером. Проблема в том, что при настройки работы с прокси сервером невозможно сохранить имя/пароль пользователя. Соответственно, Eclipse не может получить доступ в интернет. Все модули/обновления приходилось искать в standalone версиях и скачивать/устанавливать вручную. Долгое время я не мог найти рецепт, который помог бы мне решить эту проблему, но вот, можно сказать, СВЕРШИЛОСЬ

Страна советов. Прокси через терминал

Часто возникает необходимость выполнить в терминале команду, которая требует подключения к интернету. Это могут быть команды wget, gpg --keyserver, или запуск скрипта winetricks. Обычно доступ к интернету из терминала не вызывает проблем. Однако если у вас доступ организован через прокси сервер, то для выполнения этих команд надо дополнительно определить переменную окружения http_proxy:

http_proxy="http://Username:Userpwd@server:ServerPort/"

здесь Username:Userpwd - имя пользователя и пароль, server:ServerPort - Ip-адрес вашего прокси сервера и номер порта. Тогда команда запуска winetricks будет, например, иметь вид:

http_proxy="http://Username:Userpwd@server:ServerPort/" sh winetricks