I wonder if there is also a shell command to make internet explorer use a certain IP settings.