Но в заголовке темы другая проблема
Как заставить add-apt-repository ходить через прокси.
И у меня не ходит после upgrade 9.10 -> 10.04 ... :-( :
$ sudo add-apt-repository ppa:qutim/qutim.svn
Error reading https://launchpad.net/api/1.0/~qutim/+archive/qutim.svn: <urlopen error [Errno -2] Name or service not known>
как и apt-key :
$ sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com 3B31F979B2CDAA1B
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /etc/apt/secring.gpg --trustdb-name /etc/apt/trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --recv-keys --keyserver keyserver.ubuntu.com 3B31F979B2CDAA1B
gpg: requesting key B2CDAA1B from hkp server keyserver.ubuntu.com
gpgkeys: HTTP fetch error 6: Couldn't resolve host 'keyserver.ubuntu.com'
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0
Что делать?
Меня тоже интересует грамотное решение этой проблемы. Пока делаю так - руками добавляю через гуй репозиторий; ключ сначала ищу через
http://keyserver.ubuntu.com:11371/, а потом копи-пастю его опять через гуй. Но данный сайт зачастую не работает и вообще, слишком много действий для такой простой задачи...
Ещё где-то вычитал, что в параметры gpg, через который, как я понял, работает apt-key, нужно добавить "--keyserver-option honor-http-proxy", но как это всё правильно оформить - не знаю и не уверен, что не всплывёт других проблем...
Было бы здорово, если б кто-то более опытный в этих делах прояснил ситуацию...