Thanks. A problem with the patch is that it doesn't seem to deal with /etc/apt/apt.conf.d/*.
Isn't there a way to "ask" apt what its proxy is?
Thanks. A problem with the patch is that it doesn't seem to deal with /etc/apt/ apt.conf. d/*.
Isn't there a way to "ask" apt what its proxy is?