if you're trapped behind a proxy server (like me), than you need to configure some proxy settings for different tools. I will share my exp. here:
global proxy variable:
edit file /etc/environment or ~/.bashrc
Code: Select all
export {http,https,ftp}_proxy='http://user:password@prox-server:port'
Code: Select all
http_proxy = http://Proxy-IP-Adresse:Port/
https_proxy = http://Proxy-IP-Adresse:Port/
Code: Select all
proxy=http://Proxy-IP-Adresse:Port
go to section with 'Defaults' and add this rows
Code: Select all
Defaults env_keep += „http_proxy“
Defaults env_keep += „https_proxy“
there is a section # Proxy settings where you can remove the leading # and add your proxy host and port
Code: Select all
#HTTPProxyServer myproxy.com
#HTTPProxyPort 1234
#HTTPProxyUsername myusername
#HTTPProxyPassword mypass
My proxy doesn't require any client auth. so it was ok just add ip an port. If you need auth, you have to add your user:password right after the 'http://'' (like the expample for the global proxy setting).
Maybe you have to disable some download restrictions on your proxy too.
Have fun
kk