Apt и ppa репозитории через прокси

Автор: | 10.05.2019

В некоторых случаях нужно обратится к репозиториям через прокси. В частности из корпоративной сети.

В файле apt.conf (если такого нет, то можно создать):

нужно добавить следующие:

Эти команды пустят apt-get и apt через проксю.

Далее пустим ppa через прокси. Для этого редактируем файл /etc/sudoers (лучше использовать команду ‘sudo visudo‘, чтобы синтаксис проверялся автоматически).

После строки ‘Defaults env_reset‘ добавим строку в точности как здесь:

Далее зададим переменные окружения из консоли:

Вот и все.