LinuxのDLは失敗していました

ファイルサイズをよく見ると何故か1GB近くも少ないのです！
原因は不明ですが途中で終了したようです。エラーもなく、ちゃんと保存できていましたけど。
という理由で今日の午後から先ほどまで掛かってDLし直しました。今度は成功のようです。

夕方近くから雨。