--- /etc/ppp/ip-up.d/40-dns.sh.orig 2009-11-16 23:59:25.000000000 +0200 +++ /etc/ppp/ip-up.d/40-dns.sh 2011-02-10 17:55:55.000000000 +0200 @@ -9,11 +9,18 @@ if [ "$USEPEERDNS" ]; then if [ -x /sbin/resolvconf ]; then + let count=0 + while ! [ -f /var/lib/run/resolvconf/interfaces/$1 ] ; do { echo "# Generated by ppp for $1" [ -n "$DNS1" ] && echo "nameserver $DNS1" [ -n "$DNS2" ] && echo "nameserver $DNS2" } | /sbin/resolvconf -a "$1" + let count++ + [ $count -ge 20 ] && break + sleep 3 + done + echo "`date '+%b %d %k:%M:%S'` 40-dns.sh ran resolvconf using $DNS1 and $DNS2" >>/var/log/messages else # add the server supplied DNS entries to /etc/resolv.conf # (taken from debian's 0000usepeerdns)