Установка Tor в Linux Mint за корпоративным proxy

При установке Tor, предлагается следующий вариант:

You need to add the following entry in /etc/apt/sources.list or a new file in /etc/apt/sources.list.d/:

deb http://deb.torproject.org/torproject.org trusty main
deb-src http://deb.torproject.org/torproject.org trusty main

Then add the gpg key used to sign the packages by running the following commands at your command prompt:

gpg --keyserver keys.gnupg.net --recv 886DDD89
gpg --export A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89 | sudo apt-key add -

You can install it with the following commands:

$ apt-get update
$ apt-get install tor deb.torproject.org-keyring

Однако, подключиться к серверу для получения паблик ключа не удается. При попытке апдейта появляется ошибка:

W: GPG error: http://deb.torproject.org trusty InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 74A941BA219EC810

Решение обнаружилось здесь.

Вот оно:

1. Go to the OpenPGP Public Key Server. There you can enter your key into the Search String field, leaving everything else as is, then click "Search!".
   When searching for a key, always prepend 0x to it! This means that, for example, you have to search for 0x6AF0E1940624A220 instead of 6AF0E1940624A220.
2. Click on the link provided in the pub section. This should take you to page containing the key. The page's heading should be similar to Public Key Server -- Get "0x6AF0E1940624A220"
3. Copy everything from underneath the title (starting from -----BEGIN PGP PUBLIC KEY BLOCK-----) and save it in a file (e.g. key1).
4. Once you have the file, run the following command
   

   sudo apt-key add key1
   

You will get an "OK" response.
And you are done. Repeat the procedure of other keys that might be missing.

Это действительно работает.

Возможно, более простым вариантом было бы - прописать настройки прокси в /etc/environment, но пока для меня достаточно указания параметров соединения с прокси в /etc/apt/apt.conf.


можно, как пишут тут, сделать и вот так в консоли:

sudo apt-key adv --keyserver-options http-proxy=http://USER:PASSWORD@PROXY_URL:PORT/ --keyserver keyserver.ubuntu.com --recv-keys GPG_KEY

заменив ключ и параметры авторизации соответственно.