Ubuntu17.10でDNSキャッシュをクリアする – 最北端で暮らすSEのknowhow