Плимут испортился

Ответ @ user68186 не совсем сработал для меня, хотя это могло быть связано с другими проблемами. Кажется, что работает то, что было предложено (удаление /etc/resolv.conf путем создания резервной копии)

sudo mv /etc/resolv.conf /etc/backup.resolv.conf

, а затем (после хорошей страницы man resolveconf), создающей новую символическую ссылку на [ f6] (о котором я упоминал также в этом отчете об ошибке Ubuntu 14.04 resolvconf)

cd /etc
sudo ln -s /run/resolvconf/resolv.conf .

После этого и перезапуска сетевого менеджера

sudo /etc/init.d/network-manager restart

все кажется снова работать.