Из-за некоторых обстоятельств некоторые репозитории оказались для меня недоступны, и пришлось искать способы восстановления доступа к ним. Описанный способ вполне штатный, но в нужный момент его вспомнить не получается.
Это больше заметка для себя, чем инструкция.
Соединение через прокси-сервер можно указать глобально для всех репозиториев или для конкретного адреса. Опишу оба варианта.
Настройки очень желательно прописывать в отдельном файле, чтобы потом долго не искать концы, когда что-то перестанет работать. У меня подобных настроек мало, поэтому я использую один общий файл "/etc/apt/apt.conf.d/99custom".
Для указания настроек прокси-сервера для всех соединений надо прописать примерно такую конструкцию:
Acquire::http::Proxy "http://логин:пароль@адрес:порт/"; Acquire::https::Proxy "http://логин:пароль@адрес:порт/";
Если прокси-сервер не требует авторизации, то логин и пароль указывать не надо. В данном случае прокси-сервер будет использоваться для репозиториев, адреса которых начинаются на "http" и "https", если верить руководству.
Если нужно прописать настройку только для конкретного репозитория, то к параметру надо добавить его адрес:
Acquire::http::Proxy::download.webmin.com "http://логин:пароль@адрес:порт/";
По личным наблюдениям заметил, что подобная настройка работает и для репозиториев с "https" в адресе.