Windows 10でWSLを使っていたら、パッケージマネージャーaptコマンドが失敗することがあった。しかし、同じコマンドを繰り返すとうまくいく。結論からいうと、DNSの応答が遅く、そのためにインターネット側のリポジトリとの接続が正しくできなくなったためだった。症状は、Windows 10マシンで発生した…
Windows 10でWSLを使っていたら、パッケージマネージャーaptコマンドが失敗することがあった。しかし、同じコマンドを繰り返すとうまくいく。結論からいうと、DNSの応答が遅く、そのためにインターネット側のリポジトリとの接続が正しくできなくなったためだった。症状は、Windows 10マシンで発生した…