Il semble que vous ayez tous la réponse dans les liens que vous avez mentionnés. Je vais résumer ceci :
Installez resolvconf (pour Ubuntu apt install resolvconf ), ajoutez la ligne nameserver 8.8.8.8 vers /etc/resolvconf/resolv.conf.d/base , puis exécutez sudo resolvconf -u et pour être sûr service resolvconf restart .Pour vérifier, exécutez systemd-resolve --status .
Vous devriez voir sur la première ligne votre serveur DNS comme ici :
DNS Servers: 8.8.8.8
DNS Domain: sa-east-1.compute.internal
DNSSEC NTA: 10.in-addr.arpa
16.172.in-addr.arpa
Cette solution persiste entre les redémarrages.