Nach einem Boot von Ubuntu 18.04 wieder kein DNS.
sudo apt install resolvconf
Hier die DNS-Serve eintragen:
/etc/resolvconf/resolv.conf.d/head
nameserver 131.188.0.10
nameserver 131.188.0.11
Jetzt den Service restarten:
sudo service resolvconf restart