houmie75 wrote
Is there a way to also specify the port in addition to the IP address?
You can specify it as you have already done:
houmie75 wrote
push "dhcp-option DNS 10.8.0.1:65"
but none of the services that use this option know how to use the Port parameter.