https://deepumohan.com/tech/ubuntu-how-to-change-the-computer-name/