Choco — лучший пакетный менеджер для Windows. Чтобы использовать его в корпоративной среде за прокси, необходимо выполнить его донастройку.
Вариантов прокидывания прокси в choco много:
- через переменные окружения
- через системную настройку прокси
- через конфигурацию менеджера
- через командную строку