maybe_set_proxy.sh

function setProxy {
  local proxy=$1
  echo "Setting proxy: $proxy"
  #TODO: set proxy here
}

function maybeSetProxy {
  local proxy=$1
  echo "Detecting whether a proxy is needed..."
  env -i bash -c "curl -sm2 example.com"
  if [ $? -ne 0 ]
  then
    echo "Looks like a proxy is needed. Trying with a proxy..."
    env -i bash -c "export http_proxy=$proxy; curl -sm2 example.com"
    if [ $? -ne 0 ]
    then
      echo "Setting a proxy won't help. Exiting." 1>&2
      exit 1
    else
      setProxy $proxy
    fi
  else
    echo "No proxy is necessary"
  fi
}