title: How to set proxy for wget?
body: <p>I want to download something with <code>wget</code> using a proxy:</p>
  
  <pre><code>HTTP Proxy: 127.0.0.1
  Port: 8080
  </code></pre>
  
  <p>The proxy does not need username and password.</p>
  
  <p>How can I do this?</p>