The last answer, by Bluehorn, was what I was looking for. The proper way to request a specific IP number from a DHCP server. Note, however, the caveat about not getting any address at all if the requested address is already in use.
linux – Why won’t dhclient use the static IP I’m telling it to request? – Server Fault
