На самом деле, я сталкиваюсь с теми же проблемами, вот как я нашел эту страницу.
переменные окружения http_proxy (с учетом регистра) и https_proxy (в любом случае) что-то делают. Невозможность их сбой на первом этапе, установка переменных окружения действительно имеет некоторый эффект; он будет терпеть неудачу, если вы не экспортируете ихTCRKVMW ~ $ sudo su -
TCRKVMW ~ # export http_proxy=http://10.54.0.4:8080/
TCRKVMW ~ # export https_proxy=http://10.54.0.4:8080/
TCRKVMW ~ # add-apt-repository ppa:webupd8team/java
You are about to add the following PPA:
Oracle Java (JDK) Installer (automatically downloads and installs Oracle JDK7 / JDK8 / JDK9). There are no actual Java files in this PPA.
(остальное будет успешным - на этот раз) Дело в том, что иногда он просто застревает и заканчивается обычным сигналом таймаута: не удается добавить PPA : «Ошибка чтения https://launchpad.net/api/1.0/~webupd8team/+archive/java: (7,« Не удалось подключиться к портам launchpad.net 443: время ожидания подключения »).« [!d5 ]
... но я обманываю, я делаю все это как root. Простое решение - отредактировать / etc / profile или, на Ubuntu / Mint, просто добавить скрипт в /etc/profile.d:
TCRKVMW ~ $ sudo su -c 'F=/etc/profile.d/proxy.sh S="export proxy_http=\"http://192.168.99.4\"\nexport proxy_https=\"http://192.168.99.4\"" ; echo -e ${S} > ${F} ; chmod 700 ${F}'
О, да, есть и эта вещь о завитке ( который, кстати, используется apt-add-repository). В руководстве сказано добавить .curlrc в ваш домашний каталог. Поскольку apt-add-directory является собственностью root, это означает добавление его в /root/.curlrc:
proxy_http="http://192.168.99.4"
proxy_https="http://192.168.99.4"
. Хорошая идея - сделать то же самое в вашем собственном ~ / .curlrc
Кроме того, включение прокси в / etc / wgetrc - это хорошая вещь, хотя это не имеет никакого отношения к заданному вопросу, я просто сохраняю вам другой поиск в Google (если вы читаете это, у вас есть несколько с прокси) ...