August 2018

To ensure your vpn’s dns server is used, the following script can be put in “/etc/NetworkManager/”. It will need execute permission and the “CONNECTION_ID” changed to the vpn connection name.