For all users of the system via the /etc/wgetrc or for the user only with the ~/.wgetrc file: use_proxy=yes http_proxy=127.0.0.1:8080 https_proxy=127.0.0.1:8080 or via -e options placed after the URL: wget … -e use_proxy=yes -e http_proxy=127.0.0.1:8080 …
With Ubuntu I could not get the proxy option to work as advertised – so following command did not work: sudo pip –proxy http://web-proxy.mydomain.com install somepackage But exporting the https_proxy environment variable (note its https_proxy not http_proxy) did the trick: export https_proxy=http://web-proxy.mydomain.com then sudo -E pip install somepackage
None of the above helped me, but this did: npm config rm proxy npm config rm https-proxy Source: http://jonathanblog2000.blogspot.ch/2013/11/set-and-reset-proxy-for-git-and-npm.html
From the Java documentation (not the javadoc API): http://download.oracle.com/javase/6/docs/technotes/guides/net/proxies.html Set the JVM flags http.proxyHost and http.proxyPort when starting your JVM on the command line. This is usually done in a shell script (in Unix) or bat file (in Windows). Here’s the example with the Unix shell script: JAVA_FLAGS=-Dhttp.proxyHost=10.0.0.100 -Dhttp.proxyPort=8800 java ${JAVA_FLAGS} … When using containers … Read more
Here is a link to the official Docker documentation for proxy HTTP: https://docs.docker.com/config/daemon/systemd/#httphttps-proxy A quick outline: First, create a systemd drop-in directory for the Docker service: mkdir /etc/systemd/system/docker.service.d Now create a file called /etc/systemd/system/docker.service.d/http-proxy.conf that adds the HTTP_PROXY and HTTPS_PROXY environment variables: [Service] Environment=”HTTP_PROXY=http://proxy.example.com:80/” Environment=”HTTPS_PROXY=http://proxy.example.com:80/” If you have internal Docker registries that you need to … Read more
You need to set option CURLOPT_PROXYTYPE to CURLPROXY_SOCKS5_HOSTNAME, which sadly wasn’t defined in old PHP versions, circa pre-5.6; if you have earlier in but you can explicitly use its value, which is equal to 7: curl_setopt($ch, CURLOPT_PROXYTYPE, 7);
You can also set the HTTP proxy that Git uses in global configuration property http.proxy: git config –global http.proxy http://proxy.mycompany:80 To authenticate with the proxy: git config –global http.proxy http://mydomain\\myusername:mypassword@myproxyserver:8080/ (Credit goes to @EugeneKulabuhov and @JaimeReynoso for the authentication format.)
From man curl: -x, –proxy <[protocol://][user:password@]proxyhost[:port]> Use the specified HTTP proxy. If the port number is not specified, it is assumed at port 1080.
Command to use: git config –global http.proxy http://proxyuser:proxypwd@proxy.server.com:8080 change proxyuser to your proxy user change proxypwd to your proxy password change proxy.server.com to the URL of your proxy server change 8080 to the proxy port configured on your proxy server Note that this works for both http and https repos. If you decide at any … Read more
The previous answers were accurate, but perhaps too terse. I will try to add some examples. First of all, the word “proxy” describes someone or something acting on behalf of someone else. In the computer realm, we are talking about one server acting on the behalf of another computer. For the purposes of accessibility, I … Read more