But there is only one place in Ubuntu to configure a proxy. You cannot just set it for the web browser. The configured proxy is used for all HTTP traffic.
I still think this bug is valid and is fixable by improving bfilter's default configuration. E.g.
NOFILTER *.gpg
NOFILTER *.deb
(and perhaps some more package related extensions) could be added to /etc/bfilter/urls.local
But there is only one place in Ubuntu to configure a proxy. You cannot just set it for the web browser. The configured proxy is used for all HTTP traffic.
I still think this bug is valid and is fixable by improving bfilter's default configuration. E.g.
NOFILTER *.gpg
NOFILTER *.deb
(and perhaps some more package related extensions) could be added to /etc/bfilter/ urls.local