- https://en.wikipedia.org/wiki/Pip_(package_manager)
- http://www.pip-installer.org → https://pip.pypa.io
- https://pip.pypa.io/en/stable/reference/pip/?highlight=proxy#cmdoption–proxy — pip and how to specify an HTTP proxy to go through
- http://stackoverflow.com/questions/14149422/using-pip-behind-a-proxy — various ways … — also describes the use of %USERPROFILEpippip.ini and $HOME/.pip/pip.conf
On my PC at work there are quite a few different Python installations, so which pip belongs to which Python installation? I guess calling pip like this will solve it:
$ python -m pip install --help