smarie/develop-behind-proxy

Some configuration tricks for developers located behind a corporate proxy.