linux mint

Бывает, что Network Manager в Ubuntu-подобных дистрибутивах глючит(сюрприз!), и мы остаемся без прописанных DNS в /etc/resolv.conf.

Вот быстрое решение, которое исправит ситуацию.