is there a way to quickly change DNS?

For example, I use it to play Demon's Souls online on a private server
https://thearchstones.com/serverinfo.html

But I would like an easier way to switch than manually inputting it every time.

Maybe swapping a file through a script?