Comment by hk1337

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