title: Pulling docker images behind a proxy
body: <p>I have been having trouble using docker whenever I am on my campus' wifi. Trying to pull or run an image which needs to be pulled gives me the following error:</p>
  
  <pre><code>Error while pulling image: Get https://index.docker.io/v1/repositories/library/redis/images: dial tcp: lookup index.docker.io on 66.170.14.12:53: server misbehaving
  </code></pre>
  
  <p>My research has lead me across <a href="https://stackoverflow.com/questions/28301151/docker-pull-error">this</a> post which seems consistent with what I'm experiencing, but the proposed fix has not worked. What can I do to avoid this issue in the future?</p>