Как решить вопрос о системном прокси?
Не уверенный, если это помогло бы Вам, но я приехал, сюда ища способ добавить сохраненные "хосты" где-нибудь, который был легкодоступен только для моего пользователя.
Я в основном должен был смочь к ssh в определенные поля в нашей сети работы, которая только имеет одну точку входа.
То, что я сделал, было, добавляют псевдонимы к моему .bashrc файл.
Например, если Вы добавили:
alias jrfbox='ssh jason@192.168.6.6'
у основания Вашего ~/.bashrc (~ Ваш корневой каталог). Затем после того, как Вы выходите из системы и входите в систему снова, можно ввести jrfbox, хит Входит, и он соединится.
Мы просто говорим об управлении переменной среды "HTTP_PROXY", правильно? В зависимости от того, что GUI/ОС Вы используете (Вы не упоминали), существует много способов установить переменную среды.
Например, в Ubuntu/гноме (и возможно другие) Вы могли сделать ярлыки браузера для каждой установки переменной, как описано здесь при "Запуске настольного приложения с переменной среды"
Можно установить псевдонимы для переменной окружения.
alias p1="export http_proxy=http://proxy1.domain.local:3128"
alias p2="export http_proxy=http://proxy2.domain.local:3128"