network manager - What is the proper way to change the DNS IP? - Ask Ubuntu mercredi 21 août 2013 à 10:35 En ligne de commande sous LinuxMint, c'est dans /etc/resolvconf/resolv.conf.d/tail(Permalink)