Hi, I have a Debian GNU/Linux installed on my compute, and I want to change the hostname of this machine. Can someone tell me how can this be done? Thanks a lot