Провайдер в офисе последние дни страдает какой-то фигней, недавно блокировал HTTP\HTTPS, обошли туннелем(остальной интернет при этом весь работает), сейчас вот заблокировал DNS. Не знаю ,что они там делают, наверно фильтр какой-то настроить не могут. Под туннелем не оч. удобно работать.
На рабочих машинках стоит windows, можем настроить любое По на сервере за провайдером.
Как можно выйти из ситуации?
UPD: Наблюдается проблема с Публичными DNS Гугл при доступе из РФ. В качестве альтернативы переключились на https://dns.yandex.ru/ UPD2: Пост по теме habrahabr.ru/post/274095