Deixe-me reformular a pergunta para que possamos saber se entendi a pergunta correta.
Existe uma maneira de configurar meu computador para usar um servidor de nomes diferente (provavelmente o que eu quero) do que o fornecido pelo meu dispositivo hotspot?
A resposta é SIM .
resolvconf tem arquivos especiais para preceder ao (re) gerar o resolv.conf . E o arquivo está em /etc/resolvconf/resolv.conf.d/head . Apenas diga ao resolvconf para usar um servidor de nomes diferente adicionando
nameserver 1.1.1.1
para o arquivo. Em seguida, execute o seguinte para gerar um novo resolv.conf
$ sudo resolvconf -u
Espero que isso ajude.