A short hand-made shell configuration to easily switch proxy settings between my home & home away from home (KGP).