How to change device name?

[Fedawkins]

I just installed F17 and accidentally let it keep the device name the installer suggested (my ISP's info) - I'd like to change it to something else. How/where?

(so the terminal prompt is showing root@ISPblabla $, I want to make it root@Fedawkins$)

[sonoran]

It's one of those catch-22s - if you don't already know it's called the hostname you can't find any info on it.

http://forums.fedoraforum.org/showthread.php?t=272999

[Fedawkins]

Thank you!!