Hi there, just for the record: I do not know how and why, and why id did not happen before, but now my /etc/resolv.conf contains # Generated by NetworkManager search hu nameserver 212.xx.yy.zz nameserver 212.xx.yy.tt as expected. Sorry for the nuisance. - Gergely