iankelling.org Git - distro-setup/blob - filesystem/etc/apt/detect-http-proxy

   1 #!/bin/bash
   2 # based on
   3 # http://askubuntu.com/questions/53443/how-do-i-ignore-a-proxy-if-not-available
   4 # altered because testing a down proxy takes like 2 seconds,
   5 # and we would do it like 100 times in a row. so cache a failed result
   6 # locally for 10 minutes. Also, using newer option based on man apt.conf.
   7 #
   8 # Once when I was testing, it seemed I needed to have it output
   9 # DIRECT after toutputing the proxy url
  10 proxy_host=faiserver
  11 proxy_port=3142
  12 proxy_url=http://$proxy_host:$proxy_port/
  13 f=/tmp/apt_proxy_fail
  14 if [[ ! -w /tmp ]]; then
  15     echo DIRECT
  16     exit 0
  17 fi
  18 modtime=$(stat -c %Y $f 2>/dev/null ) ||:
  19 if [[ $modtime ]] && (( $(( $(date +%s) - modtime  )) < 60*10 )); then
  20     echo DIRECT
  21     exit 0
  22 else
  23     rm -f $f
  24 fi
  25 if getent hosts $proxy_host &>/dev/null && timeout 1 nc -z $proxy_host $proxy_port &>/dev/null; then
  26     echo $proxy_url
  27 else
  28     if [[ ! -e $f || -w $f ]]; then
  29         touch $f
  30     fi
  31 fi