Is there a command line solution to get a different IP from a DHCP server? There are some solutions, like switching to BOOTP and back to DHCP, that will sometimes yield a new IP, but often the DHCP server will simply hand back the IP it just got back.
We're looking to create a log-out script that will change the IP of public computers at our school. We're using Websense filtering. Right now if a faculty member logs out of a computer, a student logging in right after wouldn't have to authenticate as they would get the elevated faculty member's access. Keeping the Websense timeout low minimizes this risk but is a pain for mobile users on the network.