Dear Debian user, Is there a way to use apt-file with a HTTP proxy server? I don't seem to be able to get it working with just an export http_proxy="..." and apt-file update. Thanks. Kumar -- Kumar Appaiah, 458, Jamuna Hostel, Indian Institute of Technology Madras, Chennai - 600 036