title: Change Android emulator http proxy AFTER launching avd with command line
body: <p>How can I change emulator proxy <strong>on the fly</strong>? I know I can use <code>-http-proxy</code> argument for defining proxy server when I start an emulator (or use <code>http_proxy</code> environment variable), But I want to change proxy server of a booted and running emulator <strong>from the command line</strong>.</p>
  
  <p>AVD options panel (<code>Extended Controls</code>) makes it possible to define http proxy on the fly.</p>
  
  <p><a href="https://i.stack.imgur.com/rL1lI.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/rL1lI.png" alt="Extended Controls Screenshot"></a></p>
  
  <p>So the question is "What is the command line way to do so"?</p>