title: How to use vagrant in a proxy environment?
body: <p>My company's network is using proxy. So when I use <code>vagrant up</code>, it showed me a 401 permission error.</p>
  
  <p>How can I do some setting to use vagrant?</p>