You can set a proxy either from the GUI or from the command line. We will see how we can set a proxy from the command line. Open the /etc/environment file with your favorite text editor and add the following lines:

​

http_proxy="http://ip:port"

​

https_proxy="http://ip:port"

​

ftp_proxy="ip:port"

​

no_proxy="localhost"

set HTTP_PROXY=http://proxy_userid:proxy_password@proxy_ip:proxy_port

set HTTPS_PROXY=%HTTP_PROXY%

set FTP_PROXY=%HTTP_PROXY%

export http_proxy="http://proxypath.com:<port>"

export https_proxy="http://proxypath.com:<port>"

​

#example  

         export http_proxy="http://proxy.flagmaker.com:8080"

         export https_proxy="http://proxy.flagmaker.com:8080"

# use export for linux and set for windows      

export all_proxy="socks5://10.3.100.207:8080"