[Granted] Proposal: New directive "push-ignore <option>".
Posted: Wed Mar 15, 2017 3:57 pm
Syntax:
Client-side only. Can be used multiple times, like the "push" directive. If the server push the specified option, ignore it.
Reason:
The directive "route-nopull"
from man
For example, if i need to ignore only a redirect-gateway, i currently need to use route-nopull and rebuild manually other pushed directives,
like explained in this wiki page: that sound like a workaround methods, not a clean approach.
And if i don't want only the dhcp-option pushed directive, why i need to give up any pushed routing option?
My proposal clean the above workaround with a simple
I think i can develop a patch or rent a developer about this, but i hope a community feedback about pros & cons. Thanks for any feedback.
Code: Select all
push-ignore "option"
Reason:
The directive "route-nopull"
from man
is too much restrictive in my opinion.When used with --client or --pull, accept options pushed by server EXCEPT for routes, block-outside-dns and dhcp options like DNS servers.
For example, if i need to ignore only a redirect-gateway, i currently need to use route-nopull and rebuild manually other pushed directives,
like explained in this wiki page: that sound like a workaround methods, not a clean approach.
And if i don't want only the dhcp-option pushed directive, why i need to give up any pushed routing option?
My proposal clean the above workaround with a simple
Code: Select all
push-ignore redirect-gateway