https://dxpetti.com/blog/2019/03/changing-hostnames-in-linux/