How to set up a proxy on Linux