Опция «Apply System Wide» отсутствует. Мне нужно вручную изменять файл /etc/apt/apt.conf каждый раз, когда я устанавливаю или сбрасываю прокси.
Как мне настроить его так, чтобы он применял общесистемные настройки прокси - с соответствующим обновлением apt.conf в Ubuntu 18.04?
РЕДАКТИРОВАТЬ :
Несмотря на настройку apt.conf вручную, я не могу установить что-либо через Ubuntu Software, потому что появляется ошибка «Неподдерживаемый настроенный прокси: proxy.server.com//8080». Как я могу это исправить?
networking
18.04
proxy
пробный
источник
источник
http://
перед именем хоста, все остальное раздражает aptОтветы:
Установить детали прокси в переменных окружения;
Отредактируйте
/etc/environment
и добавьте следующие строки (замените имя пользователя, пароль, хост и порт данными вашего прокси).Для apt, центр программного обеспечения и т. Д .;
отредактируйте
/etc/apt/apt.conf.d/80proxy
(если его не существует, создайте его) и добавьте следующие строкиисточник
18.04 использует GNOME в качестве менеджера рабочего стола по умолчанию, хотя я предпочитаю Unity, который использовался в нескольких предыдущих выпусках LTS. Когда я установил и переключился на Unity, в меню настроек сети / прокси-сервера была восстановлена опция «применить всю систему».
Чтобы переключиться на Unity, запустите
sudo apt update && sudo apt install ubuntu-unity-desktop
и выберитеlightdm
опцию при появлении запроса. Мне пришлось сначала отредактировать/etc/environment
вручную, чтобы включить мой прокси-сервер, прежде чем apt сможет добраться до репозиториев для обновления / установки. Эта ссылка дает подробное описание того, как перейти на Unity.источник
Я не нашел никакой информации прокси
/etc/environment
даже на/etc/apt/apt.conf.d/80proxy
, потому что я сообщил значение прокси при настройке.Я найти его на этом файле:
/etc/apt/apt.conf.d/90curtin-aptproxy
.источник