久しぶり、と言っても二週間ぶりくらい、に起動したところDNSがうまく引けない。ルーターのDNSは動いているし他のマシンではちゃんとアドレス解決ができている。どういうわけか同じマシンの裏にインストールしているPuppyLinuxでも同じ症状、でもさらに裏のWindows10では問題無し。ハードウェア的には問題がない。しょうがないのでとりあえず/etc/resolv.confに
nameserver 8.8.8.8
を手動で毎回追加(起動時に上書きされされてしまう)。もちろんスクリプトを書けばいいのだけど、そのうち治るのを期待。(2021年1月7日)