Plop! Juste un petit billet aide-mémoire sur les changements de DNS, car j’étais un brin emmerdé. Habituellement je passais toujours par l’outil de configuration dédié, NetworkManager, mais pour une raison étrange cette fois ça ne fonctionnait pas (du moins sur IPv4). Ce n’est peut-être plus lui qui gère ça, j’ai peut-être fais ma quiche, mais pour être franc j’ai la flemme de chercher des plombes. En résumé voilà donc ce que j’ai fait.
Pour IPv4 j’ai simplement édité le fichier qui va bien à l’aide d’un petit :
sudo gedit /etc/dhcp/dhclient.conf
et ajouté la ligne suivante avant d’enregistrer les modifs :
supersede domain-name-servers 208.67.222.222,208.67.220.220;
Pour revenir en arrière éditez et supprimez cette ligne ou mieux encore, commentez-la avec un # pour la garder sous le coude.
Pour IPv6 je suis passé par NetworkManager et ça a fonctionné :
Après un reboot j’ai vérifié à l’aide d’un petit :
nmcli dev show |grep DNS
et voilou. Je passe bien désormais par OpenDNS.
Ce n’est pas grand-chose, mais ça peut servir ou si vous avez mieux à proposer, c’est bon à prendre.
Bisous.
Cool. J’ai pas pu installer la 18.04 car le 32 bit n’est plus pris en charge :(
Il va falloir que je casse la tirelire pour changer de PC :)
Bonjour,
Merci pour ce mémo => j’ai opéré le passage à OpenDNS, ca fonctionne également parfaitement sur Ubuntu 18.04.
Et heureux d’avoir un petit post sur le blog !!!