Syntax:
push-ignore "option"
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
When used with --client or --pull, accept options pushed by server EXCEPT for routes, block-outside-dns and dhcp options like DNS servers.
is too much restrictive in my opinion.
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
push-ignore redirect-gateway
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.
