ElBlo

TIL: APT Proxy

It turns out that the apt program in ubuntu does not always use the system proxy. You can set a socks5 proxy for it by creating a config file like /etc/apt/apt.conf.d/12proxy and writing the following to it:

Acquire::http::proxy "socks5h://server:port";

Thanks to this AskUbuntu answer for the syntax, and this other one for the error message.