The machine in question was configured *not* to do dhcp at boot time. (root has to do 'pump' each time users want to connect to the internet.) Now I want to change this. What's the Debian way to activate automatic connection to the network at boot time? Robert Epprecht