Estou tentando encontrar a maneira correta de adicionar options ndots:5 a /etc/resolv.conf usando uma configuração OpenVPN na área de trabalho do Ubuntu 18.04, como a opção é adicionada e removida quando a conexão VPN é feita e destruída.
Eu tenho o DNS e os domínios de pesquisa configurados corretamente, mas não consigo descobrir como adicionar as opções.
Alguma pista do que eu estou negligenciando?