changer de DNS sur ARCH et Manjaro*

Difficile de trouver spontanément comment faire pour qu'un nouveau DNS soit pris en considération... et pourtant inutile de se lancer dans des modifications hasardeuses de fichiers de configuration qui ne donnent pas les résultats escomptés..

L'astuce consiste tout simplement à...

     1. faire un clic droit sur l'icône de l'applet de NetworkManager dans le "tray" et choisir "Modifier les connexions" (capture 1)

capture 1

     2. Choisir une connexion: "connexion filaire" dans mon cas et cliquer sur le "hamburger" (3 barres superposées) en bas. (capture 2)

Capture 2

     3. Allez à l'onglet "Paramètres IPv4" (capture 3)
     4. Méthode: choisissez "adresses automatiques uniquement (DHCP)"
     5. Serveur DNS: 1.1.1.1, 1.0.0.1, 8.8.8.8 (les adresses de serveurs sont séparées par des virgules). Ces serveurs sont ceux de Cloudflare unanimement conseillés par les geeks , le troisième est un de ceux de Google (en secours).
     6. Enregistrez (en bas à droite)
     7. Redémarrez votre ordi (redémarrer seulement NetworkManager n'a pas fonctionné dans mon cas)

Capture 3

Simple, mais il fallait le savoir (ou s'en souvenir)... Si vous restez sur "Automatic (DHCP)" vous pourrez seulement entrer des DNS supplémentaires qui seront très rarement utilisés.

* Peut fonctionner probablement dans la majorité des distros Linux avec des petites variantes.