Просто перезагрузка сетевого менеджера не работает для меня (как в новой настройке DNS не используется).
$ ps aux | grep dns
libvirt+ 2217 0.0 0.0 28200 668 ? S May30 0:00 /usr/sbin/dnsmasq --conf-file=/var/lib/libvirt/dnsmasq/default.conf
nobody 17685 0.1 0.0 32604 1560 ? S 14:39 0:01 /usr/sbin/dnsmasq --no-resolv --keep-in-foreground --no-hosts --bind-interfaces --pid-file=/run/sendsigs.omit.d/network-manager.dnsmasq.pid --listen-address=127.0.1.1 --conf-file=/var/run/NetworkManager/dnsmasq.conf --cache-size=0 --proxy-dnssec --enable-dbus=org.freedesktop.NetworkManager.dnsmasq --conf-dir=/etc/NetworkManager/dnsmasq.d
Тогда вам нужно запустить: sudo kill 17685
Затем, наконец, sudo service network-manager restart
Это также применимо к новым настройкам dnsmasq.
Подстановка команд в tcsh выполняется с использованием обратных ссылок: `...`
~> echo `pwd`
/home/muru
Подстановка команд в tcsh выполняется с использованием обратных ссылок: `...`
~> echo `pwd`
/home/muru
Подстановка команд в tcsh выполняется с использованием обратных ссылок: `...`
~> echo `pwd`
/home/muru