Thanks for the help. I typed in something very like this:
export http_proxy=http://thisismyusername:[email protected]:1234 I didn't get any error messages. I tried to run sudo apt-get update The computer failed to connect to the server. Do I have to substitute data for http_proxy?
