/etc/init.d/pppd-dns is in ppp 2.4.5-5ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | #!/bin/sh -e
### BEGIN INIT INFO
# Provides: pppd-dns
# Required-Start: $local_fs gdm
# Required-Stop:
# Default-Start: 1 2 3 4 5
# Default-Stop:
# Short-Description: Restore resolv.conf if the system crashed.
### END INIT INFO
#
# Restore /etc/resolv.conf if the system crashed before the ppp link
# was shut down.
case "$1" in
start) ;;
stop|restart|force-reload) exit 0 ;;
*) echo "Usage: $0 {start|stop|restart|force-reload}" >&2; exit 1 ;;
esac
[ -x /etc/ppp/ip-down.d/0000usepeerdns ] \
&& exec /etc/ppp/ip-down.d/0000usepeerdns
|