Кажется, что кампус имеет специальную конфигурацию для своего собственного домена.
Запросы определения имен UDP, вероятно, не обрабатываются тот же путь при прибытии из локальной частной сети (10...*) или из сетей общего пользования (Интернет).
Вы пробовали
dig uwyo.edu
или
host -a uwyo.edu
Так или иначе при использовании серверов Google DNS Вы, вероятно, зафиксируете свою проблему, так как NS вне кампуса на общедоступной стороне.
Изменение /tmp/resolv.conf.auto
с
nameserver 8.8.8.8
nameserver 8.8.4.4
search resnet.uwyo.edu
Почему Вы только не разделяете его в файлах, которые Вы предлагаете и затем просто cat
их всех вместе?
cat rc-something.xml rc.keyboard.xml rc.mouse.xml > rc.xml
Единственная проблема состоит в том, что Вы должны будете cat
их каждый раз Вы изменяете один из отдельных файлов, но это должно быть тривиально..