J'avais besoin de changer mes DNS sur mon Rasplex (OpenElec + Plex sur Raspberry Pi) via le terminal (SSH). C'est donc tout naturellement que j'ai édité le fichier /etc/resolv.conf comme on le ferait sur n'importe quelle machine Linux.

Seulement, après un petit reboot, mes modifications n'ont pas tenu. Pas de persistance de ce côté-là.

J'ai donc fouillé un peu et trouvé la solution pour changer vraiment les serveurs DNS d'un Rasplex via SSH. Pour cela, il suffit d'éditer le fichier (remplacez-les xxxxxxx par le véritable nom de votre dossier.

nano /storage/.cache/connman/ethernet_xxxxxxxxx_cable/settings

rpi

Vous mettez vos DNS, séparés par des ";" et vous rebootez le Raspberry Pi et le tour est joué !