I have a freshly installed system ; it's Raspbian (based on Debian), on a Raspberry PI, installed with raspbian-ua-netinst. I believe this is a general linux question, though feel free to redirect me to the Raspberry stack exchange if you believe this is too specific.
It works fine if the ethernet cable is already plugged in during boot. However, if I boot without cable, and plug it after the system has booted, it won't get an IP address through DHCP (more precisely, I can't SSH into the system ; I don't have a screen on it right now so it's difficult to know what happens exactly).
Is there something I need to configure for dhclient to do its job when connecting the ethernet cable?