#!/bin/bash
# stupid script to somehow try to force dhcp lease (I had once problems).
while (! sudo pump -v -i eth1); do sleep 5; done
echo
ifconfig eth1