change hostname

If you forget to customize the machine name during the installation of the operating system, you can do it later. Here's how!