I have another issue in Ubuntu that has been driving me batty: updated DNS servers. When I set up a vpn connection using Network Manager, I can connect to the vpn tunnel, but the DNS settings are not updated. This means that pretty much nothing can be done. I don’t go around remembering IP addresses [...]