#!/usr/bin/tclsh
package require Tcl 8.2
package require dns
::dns::configure -nameserver 10.0.0.2
set tok [::dns::resolve 154.193.245.88.tr.countries.nerd.dk]
::dns::wait $tok
::dns::result $tok
::dns::cleanup $tok

result: no answer

$ cat /etc/resolv.conf
# generated by NetworkManager, do not edit!



nameserver 10.0.0.2

$