Je sais comment changer le DNS de mon réseau à partir de GUI Network Manager:
Comment faire exactement la même chose depuis Terminal?
nmcli connection show --active
pour obtenir le nom de la connexion activenmcli connection edit
--- double onglet pour lister les connexions disponibles et choisir approprié
nmcli> remove ipv4.dns nmcli> set ipv4.ignore-auto-dns yes nmcli> set ipv4.dns 8.8.8.8 8.8.4.4 (or other dns servers) nmcli> save nmcli> quit
nmcli connection down
your_connection_namenmcli connection up
your_connection_name