Skip to content

Instantly share code, notes, and snippets.

@msiddiqi

msiddiqi/pip.ini

Created January 13, 2020 23:10
Show Gist options
  • Save msiddiqi/7e37213b956c0b05663b39120022c97f to your computer and use it in GitHub Desktop.
Save msiddiqi/7e37213b956c0b05663b39120022c97f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
pip.ini
proxy=http://user:password@server:port
http_proxy=http://user:password@server:port
https_proxy=http://user:password@server:port
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment