[hk1337]

Just as easy, you could just set the Host in your ssh config. Then you don’t have to deal with dns