Я не могу добавить репозиторий PPA за прокси
Для тех, кто не хочет устанавливать Compiz-Settings-Manager и / или предпочитает использовать скрипты для настройки Ubuntu, этот параметр сохраняется в gconf и может быть отредактирован с помощью gconftool-2.
работает в Ubuntu 12.04:
gconftool-2 --set "/apps/compiz-1/plugins/unityshell/screen0/options/shortcut_overlay" --type boolean false
Чтобы проверить свою работу и посмотреть другие пары ключей и значений, которые вы можете настроить:
gconftool-2 --recursive-list "/apps/compiz-1/plugins/unityshell/screen0/options"
2 ответа
На самом деле это кажется намного проще, чем ответ, который был опубликован ранее. Вам просто нужно «sudo» знать, что вы находитесь за прокси-сервером, и он будет работать без усилий. Для этого вам нужно экспортировать свой прокси для http и https так, как вы обычно делаете:
export http_proxy=http://username:password@host:port/
export https_proxy=https://username:password@host:port/
, а затем добавить Defaults env_keep="https_proxy" в конец файла /etc/sudoers. После этого вы сможете добавить ppa с помощью команды:
sudo add-apt-repository ppa:the_ppa_you_want_to_add
или использовать
sudo -E add-apt-repository ppa:the_ppa_you_want_to_add
, если вы не хотите изменить файл /etc/sudoers. Параметр -E экспортирует переменные среды в пользователя sudo.
Я подробно рассказал об этом здесь, в своем блоге.
Убедитесь, что apt proxy установлен, как показано ниже
sudo vi /etc/apt/apt.conf
, добавьте следующие настройки прокси-сервера и сохраните файл
Acquire::http::proxy "http ://proxy.company.com:port/";
Acquire::https::proxy "https ://proxy.company.com:port/";
Acquire::ftp::proxy "ftp://proxy.company.com:port/";
в дополнение к следующему в терминале перед тем, как запустить команду
export http_proxy=http ://proxy.company.com:port/
export https_proxy=https ://proxy.company.com:port/
Это должно работать.