Bash: add commands to turn proxies on/off