Диспетчер сети не получает VPN-серверы имен

Итак, я установил Ubuntu 13.04 (переключение с Fedora) два дня назад, и я снова почти продуктивен, за исключением одного:

Когда я подключаюсь к VPN моей работы, Network Manager не подбирает серверы имен, как Fedora. Когда я подключаюсь, я могу пинговать IP-адреса напрямую:

$ ping source.my-company.com
> ping: unknown host source.my-company.com
$ ping 123.45.67.890
> 64 bytes from 123.45.67.890: icmp_req=2 ttl=64 time=67.8 ms
> ...

Что еще более раздражает, так это то, что я тоже могу легко пинговать серверы имен. Мой сетевой парень хочет, чтобы я редактировал вручную resolv.conf, но это не является устойчивым, так как я регулярно переключаюсь между 3 VPN. (Еще один источник раздражения для другого дня: Fedora позволила мне подключаться к нескольким VPN, почему не Ubuntu?)

Мой вопрос: как мне начать отлаживать это? Я незнаком с DNS и сетями в целом, и использование новых инструментов усложняет задачу понимания.