I need to run android command line tool behind a corporative HTTP proxy in --no-ui mode. When I run android list sdk help, I see these two options (among others):
--proxy-host: HTTP/HTTPS proxy host (overrides settings if defined)
--proxy-port: HTTP/HTTPS proxy port (overrides settings if defined)
Where can I define those proxy settings? In the user interface mode, I can go to Tools -> Options, but I need to do it without UI mode.