I've been working on figuring out some interesting ways to use my revision A Raspberry Pi, and one of the things I'm doing with it requires it to work correctly behind a corporate proxy server. If you're in a similar situation, and need your Pi to work with a proxy server, it's simple to get set up:
You need to edit the
~/.profile file (where
~ is your home folder, e.g.
/home/jeffgeerling, adding the following lines to the bottom of the file:
# Proxy server (example: http://username:[email protected]:8080). User/pass optional.<br />
# Proxy exclusions (don't use the proxy server for these hostnames and IP addresses).
If you'd also like the proxy to apply when running
sudo commands and when using your Pi as the root user, you need to add the same configuration to
/root/.profile (this would be helpful if you need to use
sudo apt-get to install or update software packages).