I want to use DHCP to pick up the network configuration information including DNS, but still assign a static IP address.
On OS X, this is "Using DHCP with manual address", but I see no similar configuration option for ubuntu in the GUI, and I can't find any information about how to configure /etc/network/interfaces to do that.
Or you can just set up IP address reservations in your DHCP server. This associates IP addresses with specific MAC addresses, so that the same network interface always gets the same IP address. Consult your DHCP server documentation for details.
You can append the following line to your
/etc/network/interfaces
file:Of course, you can change the
IP/mask
and interface name to suit your needs.