networkmanager dispatch script to enable/disable apt proxy

90apt-proxy

#!/bin/sh

ESSID="zz9 plural z alpha"

interface=$1 status=$2

if [ "$interface" = "wlp3s0" ]; then
  case $status in
    up)
      if iwgetid | grep -qs ":\"$ESSID\""; then
        echo 'Acquire::http::Proxy "http://172.16.0.254:8123";' >/etc/apt/apt.conf.d/90_proxy
      fi
      ;;
    down)
      rm /etc/apt/apt.conf.d/90_proxy
      ;;
  esac
fi