Respostas:
Segundo o desenvolvedor sênior do Opera, Yngve Nysæter Pettersen , o cache do DNS no Opera é de 10 minutos e não há meios (que ele queira compartilhar) para limpá-lo.
Isso é extremamente inconveniente. E minha tentativa e erro mostra que fechar e abrir o navegador (navegador inteiro, não apenas a guia) limpou com êxito o cache imediatamente.
Ele está errado quando diz que isso é o mesmo em todos os outros navegadores. Isso pode ser verdade no Chrome, pois eles rasgam as configurações todos os dias, mas o Firefox possui network.dnsCacheExpiration
em milissegundos o TTL do cache DNS. (Isso não é documentado ou mostrado com o valor padrão quando você acessa about:config
, mas ainda existe.)
chrome://net-internals/#dns
e clique no botão "limpar cache do host". Portanto, não há necessidade de excluir seu perfil.
browser://net-internals/#dns
opera://net-internals/#dns
@GeorgDangl dá a resposta
browser://net-internals/#dns