Настройка apt-file для работы через прокси сервер

При попытке обновления репозитория файлов утилиты apt-file у меня вылезла ошибка:

~# sudo apt-file update
Downloading Index http://mirror.yandex.ru/debian/dists/wheezy/main/Contents-i386.diff/Index:
No Index available.

Происходит это потому что утилита diffindex-download которая выполняет загрузку этих файлов не понимает директиву proxy::http в конфигурационном файле /etc/apt/apt.conf. Почему это происходит не понятно, возможно это баг.
Исправляется просто, настроим утилиту wget для работы через прокси, для этого в конфигурационном файле /etc/wgetrc. Подправим в нём строки:

https_proxy = http://<адрес>:<порт>/
http_proxy = http://<адрес>:<порт>/
ftp_proxy = http://<адрес>:<порт>/

И включим работу через прокси:

use_proxy = on

После этого выполним правку файла /etc/apt/apt-file.conf, заменим строку:

http = diffindex-download -i "<uri>/dists/<dist>/Contents-<arch>.gz" <cache>/<dest>

На вот такую:

http = wget -c "<uri>/dists/<dist>/Contents-<arch>.gz" -O <cache>/<dest>

Теперь запускаем обновление:

apt-file update