A proxy in a bash script