layman -s calculate через прокси

Хочется обновлять систему находясь в локальной сети.
Подскажите как заставить работать layman -s calculate через прокси.
И нужен ли обязательно socks прокси.

переменная http_proxy определена, но при выполнении layman -s calculate:

* Running... # ( cd /var/lib/layman/calculate  && /usr/bin/git pull )
fatal: The remote end hung up unexpectedly
*
* Warnings:
* ------
*
* The source of the overlay "calculate" seems to have changed.
* You currently sync from
*
*   git://git.calculate.ru/dev/overlay.git
*
* while the remote lists report
*
*   git://git.calculate.ru/calculate/overlay.git
*
* as correct location.
* Please consider removing and re-adding the overlay.
*
*
* Errors:
* ------
*
* Failed to sync overlay "calculate".
* Error was: Syncing overlay "calculate" returned status 1!

Для работы обновления оверлея кальки через http-прокси необходимо сделать

echo "proxy : http://PROXY:8080" >>/etc/layman/layman.cfg
git config --global http.proxy PROXY:8080
sed -ri 's|(url = )git://|\1http://|' /var/lib/layman/calculate/.git/config

Ошибка, которую выдаёт лайман, говорит что адрес оверлея поменялся. Для изменения адреса удалите и затем снова добавьте оверлей, так что сначала удалите-добавте оверлей, а затем настраивайте синхронизацию.
Про перевод дерева портежей на гит можно прочитать в посте http://www.calculate-linux.ru/blogs/show/319