I am trying to install Tor on a certain PC, but the firewall at the gateway does not allow me to do so.
I obtained my instructions to install Tor from https://www.torproject.org/docs/debian
In that, entries to sources.list are HTTP and not HTTPS.
deb http://deb.torproject.org/torproject.org xenial main
deb-src http://deb.torproject.org/torproject.org xenial main
This was the reason for the firewall to block the installation. Therefore I changed it to HTTPS i.e.
deb https://deb.torproject.org/torproject.org xenial main
deb-src https://deb.torproject.org/torproject.org xenial main
and tried to install Tor again. It worked!
I would like to know if this is a good method. If so, I would like to know why is it not listed in the Tor website.