How do I set more than one DNS server?

I am using dnsmasq on my workstation and connecting the TV to it, so that I can have an app running locally that the TV can run.

However this means that when my workstation is not running, the TV's webOS ceases to be able to connect to any hostnames.

How do I enter more than one DNS server in the manual network settings, like any other operating system allows?

Hi @jorisw , welcome to the Forum!

Unfortunately, this forum is only for webOS Open Source Edition.
For webOS TV, please visit the TV Forum.