Après une tentative (et même un redémarrage), ça ne marche toujours pas...
Pourtant le fichier /etc/NetworkManager/NetworkManager.conf contient maintenant ceci :
[main]
plugins=ifupdown,keyfile,ofono
dns=default
[ifupdown]
managed=false
ce qui semble indiquer que tes instructions ont été appliquées.
Donc je recommence, de manière à pouvoir te communiquer l'ensemble des retours du terminal.
Après ta première ligne d'instructions, ça donne :
moi@ma-machine:~$ sudo sed -i 's/dnsmasq/default/g' /etc/NetworkManager/NetworkManager.conf && cat /etc/NetworkManager/NetworkManager.conf
[sudo] Mot de passe de moi :
[main]
plugins=ifupdown,keyfile,ofono
dns=default
[ifupdown]
managed=false
Je vais dans
Modification des connexions...,
Paramètres IPv4, où je vois que les DNS indiqués sont ceux de Google : donc, en réalité, il n'y a rien à modifier.
Je fais donc ta deuxième ligne d'instructions, ce qui donne :
moi@ma-machine:~$ sudo mv /etc/resolv.conf /etc/resolv.conf.bak && sudo systemctl restart NetworkManager.service && cat /etc/resolv.conf
mv: impossible d'évaluer '/etc/resolv.conf': Aucun fichier ou dossier de ce type
martin@martin-bur-marr
C'était exactement pareil la première fois. Et le Firefox "normal" ne se connecte toujours pas (heureusement que j'ai TOR pour me dépanner - et, au pire, un DVD Live de DFLinux).
