Настройка прокси-сервера из командной строки

Настройка прокси-сервера из командной строки

Я использую Ubuntu 18.04. Хочу настроить прокси-сервер для всех пользователей. Вот что у меня есть:

$ cat /etc/environment
> http_proxy="http://proxy.foo.com:8080"
> https_proxy="http://proxy.foo.com:8080"
> no_proxy="localhost, 127.0.0.1, *.foo.com"

Если я сейчас открою, например, Firefox, я не смогу получить доступ ни к одному веб-сайту. Когда я захожу в Настройки сети, я все еще вижу "Сетевой прокси" как "Выкл". После установки его на "Вручную" и ввода настроек прокси сверху я могу подключиться к Интернету с помощью Firefox.

Как настроить прокси-сервер в настройках сети из командной строки?

решение1

Когда я использовал прокси несколько лет назад, я использовал следующие команды на терминале:

set http_proxy=http://proxy.foo.com:8080
set https_proxy=http://proxy.foo.com:8080
export http_proxy=http://proxy.foo.com:8080
export https_proxy=http://proxy.foo.com:8080

И вы можете проверить эту конфигурацию, выполнив "env | grep proxy". По крайней мере, в командной строке это сработало для меня.

Связанный контент