--- /etc/0000usepeerdns.orig 2006-04-08 23:48:59.000000000 -0700 +++ 0000usepeerdns 2006-04-09 12:08:21.000000000 -0700 @@ -16,8 +16,10 @@ # merge the new nameservers with the other options from the old configuration { + echo "# Dynamic configuration for PPP connections" cat /etc/ppp/resolv.conf - grep --invert-match '^nameserver[[:space:]]' "$REALRESOLVCONF" || true + echo "# Local system configuration" + cat "$REALRESOLVCONF" } > "$REALRESOLVCONF.tmp" # backup the old configuration and install the new one