Aha! I didn't try /usr/bin/. Awesome. How can I (permanently) change the name of the machine that I see in the bash prompt? 'hostname' only lasts till the next reboot.