Dynamic NixOS Proxy Switcher

nixos-proxy-switch

#!/bin/sh

orig=`echo $NIX_PATH | sed -e "s,.*nixos-config=\(.*\)\.nix,\1.nix,"`
export NIX_REMOTE=""

buildAndSwitch() {
  sudo -E nix-build \
      -A system '<nixpkgs/nixos>' \
      --option use-binary-caches false
  sudo -E nixos-rebuild switch --option use-binary-caches false
}

unsetProxy() {
  export http_proxy=""
  export NIX_CURL_FLAGS=""
  sudo sed --follow-symlinks -i -e "/networking.proxy.default/d" $orig
}

setProxy () {
  export http_proxy="$1"
  export NIX_CURL_FLAGS="-x $http_proxy"
  sudo sed --follow-symlinks -i -e "\$i\ \ networking\.proxy\.default \= \""$1"\"\;" $orig
}

case $1 in
  l | list )
    nixos-option networking.proxy.default
  ;;
  p | proxy )
    shift
    case $1 in
        http://* )
            echo "Setting proxy to: $1"
            setProxy $1
            buildAndSwitch
            ;;
        * )
            echo "Unsetting proxy"
            unsetProxy
            buildAndSwitch
            ;;
    esac
    ;;
esac