Você pode tentar:
-
Descarregue seu cache DNS em sua caixa linux (isso deve acontecer);
-
Experimente o seu computador portátil ligado por cabo ao seu router;
-
Configure o seu roteador para usar os servidores DNS definidos pelo usuário (8.8.8.8 e 8.8.4.4 do Google, por exemplo).