да , согласно упомянутым советам 5-летней давности, я в т.ч. добавил в /etc/env.d/99proxy записи в таком формате:
HTTPS_PROXY=http://<proxy-user>:<proxy-passwd>@<proxy-IP>:3128/
HTTP_PROXY=http://<proxy-user>:<proxy-passwd>@<proxy-IP>:3128/
ну и после env-update
однако, как я и говорил, – нет подключений к прокси, только попытки напрямую подключиться к репозиториям