Solution 1 :
Répondu à ma propre question, grâce à rfc2132
dhcp-option=6,192.168.0.90,192.168.0.98
Cependant, RFC2132 spécifie l'option 5 comme une liste de serveurs de noms et l'option 6 comme une liste de serveurs de noms de domaine, et je ne sais pas quelle est la différence. Quoi qu'il en soit, l'option 6 les place correctement comme
nameserver 192.168.0.90
nameserver 192.168.0.98
dans /etc/resolv.conf
Solution 2 :
Publier comme une réponse distincte plutôt qu'un commentaire sur la vôtre, car de cette façon, je peux utiliser des liens.
L'option 5 est pour les serveurs de noms IEN 116 - un protocole ridiculement obsolète que Jon Postel voulait mort il y a plus de vingt ans. Solaris le prend toujours en charge, mais pas dans la prochaine version.