¿Seguro que ese artículo de 2001 sigue siendo válido? Yo uso Debian, y mi consola no reconoce el comando "pump", ni encuentro ningún ejecutable que tenga nada que ver.
En mi Debian el cliente DHCP es "dhclient", y la configuración se encuentra en el archivo "/etc/dhclient.conf". A lo mejor la clave está en esta parte del archivo de configuración:
Cita: lease {
option domain-name-servers 127.0.0.1;
}
Si no me equivoco, de esa manera le indico dónde buscar el servidor DNS. No sé si habría que dejar la IP 127.0.0.1 (que es la IP local), o habría que poner la IP del servidor DNS elegido. Tampoco sé si se puede poner más de un servidor DNS en esa línea.
Post-edición: Pump no se instala por defecto, pero sí que existe en los repositorios.
Cita: root@dan:[/home/dandebian]# apt-cache search pump
pump - BOOTP and DHCP client for automatic IP configuration
pydance - dancing simulation game similar to the kind in arcades
amoeba-data - Fast-paced, polished OpenGL demonstration by Excess (data)
amoeba - fast-paced, polished OpenGL demonstration by Excess