2
votes
1answer
2k views

apt-get not using http_proxy in ubuntu 13.10

I just updated from Ubuntu 12.04 to 13.10 In 12.04, I used to set up my http_proxy variable in .bashrc and then use apt-get as follows sudo -E apt-get update The -E option in sudo used to make the ...
1
vote
0answers
155 views

Reload http_proxy, no_proxy

I am running Ubuntu with Awesome WM. I have confirmed in chromium, I can use the environment variables http_proxy and no_proxy to control the proxy chromium uses. I don't think chromium reads these ...
0
votes
1answer
123 views

http_proxy variable [duplicate]

I was following this guide to install Redmine on my server: http://www.redmine.org/projects/redmine/wiki/HowTo_Install_Redmine_in_Ubuntu it written there: Run the following commands to export your ...
3
votes
2answers
9k views

How to permanently disable http_proxy

When I remove proxy from System/Network and apply it system wide it still remains when working in console. When I run: env | grep proxy it prints: http_proxy=http://proxy.studnet.lan:8080 ...
0
votes
2answers
4k views

Updating http_proxy environment variable

I recently changed my password corresponding to my username for my proxy. Hence I updated the apt.conf and /etc/environment files with my new password. However when I type echo $http_proxy or ...
4
votes
3answers
15k views

How do I reset proxy in terminal to automatic if not connected via proxy

I tried to reset proxy of the terminal by some commands but it doesn't happen and automatically switches back to this proxy 172.16.0.16 (which apparently was my college proxy). I checked in my ...
4
votes
1answer
5k views

What is the all_proxy environment variable used for?

When I type set | grep -i proxy I see all environmental variables which refers to proxy settings. I understand the meaning of http_proxy and ftp_proxy but what is all_proxy used for and where can ...
12
votes
3answers
9k views

Configuring Firefox to use a proxy from the command line

I'm looking for a way to tell Firefox to use a proxy in Ubuntu Ludid (10.04.1 LTS). I'm installing Ubuntu semi-automatically on several identical machines. For this, I use a script that, amongst ...