set-http-proxy

#!/bin/bash

# make sure, script is sourced
# -------------------------------------------------------------------------------------------------
SOURCED=0
if [[ "$BASH" = "" ]]; then
  # not bash
  if [[ "$ZSH_VERSION" != "" ]]; then
    # zsh
    SOURCED=1
    SOURCE_DIR="${0%/*}"
  else
    echo "Unsupported shell. Exiting"
    read
    exit 2
  fi
else
  # bash
  COMMAND=`awk -F/ '{print $NF}' <<< $0` 
  if [ "x$COMMAND" = "xbash" -o "x$COMMAND" = "x-bash" ]; then
    SOURCED=1
  fi
  SOURCE_DIR="${BASH_SOURCE[0]}"
fi

if [ $SOURCED = 0 ]; then
  echo "script must be sourced. Exiting ..."
  exit 1
fi


log() {
  if [[ $VERBOSE == 1 ]]; then
    echo $*
  fi
}

logvar() {
  local var=$1
  if [[ "$ZSH_VERSION" != "" ]]; then
    log "${var}: ${(P)var}"
  else # bash
    log "${var}: ${!var}"
  fi
}

for i in "$@"; do
  case $i in
    -v|--verbose) VERBOSE=1 
                  echo VERBOSE
                  ;;
    *)            INTERFACE=$i ;;
  esac
done

logvar INTERFACE

# -------------------------------------------------------------------------------------------------

# make sure, script runs on OS X
if [ "Darwin" != `uname` ]; then 
    echo "This script is only tested on OSX. Aborting"
    return 1
fi

# make sure, pacparser is installed
type pacparser >/dev/null 2>&1 || { echo >&2 "'pacparser' required.  Aborting."; return 2; }

function enabled() {
  echo "$1" | grep "^Enabled" | sed "s/[a-zA-Z]*: \(.*\)/\1/"
}

#--------------------------------------------------------------------------------------------------
# MAIN
#--------------------------------------------------------------------------------------------------

# determine the network service name for the default route
if [[ -z "$INTERFACE" ]]; then
  INTERFACE=`route -n get default | grep interface | sed "s/.*interface: \(.*\)/\1/"`
fi

if [[ "$INTERFACE" == "" ]]; then
  echo could not determine the interface
  return 2
fi 

logvar INTERFACE


NETWORK=`networksetup -listnetworkserviceorder | grep -B1 "$INTERFACE" | head -n 1 | sed "s/([0-9]*) \(.*\)/\1/"`
logvar NETWORK
echo "using '$NETWORK'"

# currently two proxy configurations are supported: 
# a proxy that is explicitely set with host and port and
# an Automatic Proxy Configuration with .pac file.
# Auto-Discovery is not (yet) supported


# proxy explicitely set?
PROXY_INFO=`networksetup -getwebproxy "$NETWORK"`
PROXY_ENABLED=`enabled "$PROXY_INFO"`

if [ "$PROXY_ENABLED" = "Yes" ]; then 
  export PROXY_HOST=`echo "$PROXY_INFO" | grep Server | sed "s/[a-zA-Z]*: \(.*\)/\1/"`
  export PROXY_PORT=`echo "$PROXY_INFO" | grep Port | sed "s/[a-zA-Z]*: \(.*\)/\1/"`
  PROXY="$PROXY_HOST:$PROXY_PORT"
else
  # proxy not explicitely set, try proxy.pac
  PROXY_INFO=`networksetup -getautoproxyurl "$NETWORK"`
  PROXY_ENABLED=`enabled "$PROXY_INFO"`
  if [ "$PROXY_ENABLED" = "Yes" ]; then 
    PROXY_PAC=`echo "$PROXY_INFO" | grep "^URL:" | sed "s/URL: //"`
    echo "proxy.pac: $PROXY_PAC"
    if [ -e /tmp/proxy.pac ]; then 
      if test "`find /tmp/proxy.pac -mmin +1440`"; then 
        curl -sL $PROXY_PAC > /tmp/proxy.pac
      fi
    else
      curl -sL $PROXY_PAC > /tmp/proxy.pac
    fi 

    # use the pacparser to get the proxy
    PROXY=`pacparser | sed "s/PROXY //"`
   
    export PROXY_HOST=`echo "$PROXY" | sed 's/\(.*\):.*/\1/'`
    export PROXY_PORT=`echo "$PROXY" | sed 's/.*:\(.*\)/\1/'`
    
    # not supported on bash 3.x:
    # PROXY_PARTS=( `echo "$PROXY" | tr -s ':' ' '` )
    # export PROXY_HOST="$PROXY_PARTS[1]"
    # export PROXY_PORT="$PROXY_PARTS[2]"
  fi
fi



# set/unset environment variables, git and Maven settings
if [ "$PROXY_ENABLED" = "Yes" ]; then 
  echo "  setting http_proxy: http://$PROXY"
  PROXY_URL=`echo "http://$PROXY"`
  export http_proxy="$PROXY_URL"
  export https_proxy="$PROXY_URL"
  git config --global http.proxy "$PROXY_URL"
  npm config set proxy "$PROXY_URL"
  npm config set http-proxy "$PROXY_URL" 
  svn-proxy-patch $PROXY_HOST $PROXY_PORT
  echo "*** MAVEN. Extract of maven settings.xml:"
  # uses $PROXY_HOST and $PROXY_PORT
  mvn-proxy-patch true
else 
  echo "  unset http_proxy"
  unset http_proxy
  unset https_proxy
  git config --global --unset http.proxy
  npm config rm proxy
  npm config rm https-proxy
  svn-proxy-patch
  echo "*** MAVEN. Extract of maven settings.xml:"
  mvn-proxy-patch false
fi

echo "*** GIT. Result of git config --global --get http.proxy:"
git config --global --get http.proxy
echo "*** NPM Result of npm config get proxy:"
npm config get proxy
echo "*** SVN. Extract of ~/.subversion.servers file:"
cat ~/.subversion/servers | grep proxy