I would like to change the Host Name from the command line; i.e., not
use the Windows control panel GUI.

I'll also need to change the IP address and some DNS stuff, and the
netsh command seems to do this. But it doesn't seem able to change the
Host Name.

And if anyone knows where I can find a comprehensive explanation of the
ipconfig and netsh commands, I would much appreciate it.