Simple setup to create a Linux gateway on Ubuntu 18.04 that provides WPAD settings via DHCP option 252.
systemctl disable systemd-resolved.service
systemctl stop systemd-resolved
apt update
apt install dnsmasq
unlink /etc/resolv.conf
echo "nameserver 8.8.8.8" > /etc/resolv.conf