Мне нужно запустить инструмент командной строки android за корпоративным HTTP-прокси в режиме --no-ui. Когда я запускаю android list sdk help, я вижу эти две опции (среди прочих):
--proxy-host: HTTP/HTTPS proxy host (overrides settings if defined)
--proxy-port: HTTP/HTTPS proxy port (overrides settings if defined)
Где я могу определить эти настройки прокси? В режиме пользовательского интерфейса я могу перейти к Tools -> Options, но мне нужно сделать это без режима пользовательского интерфейса.
