On 2012-10-19 01:32:10 -0400, Tom H wrote: > WAG: Isn't resolvconf meant for situations like this one?
Thanks. This seems to do what I want, with a minor problem: when the DHCP client is killed, resolvconf doesn't remove the corresponding nameserver line from the generated "/etc/resolv.conf". -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20121021134640.ga7...@xvii.vinc17.org
