2017年4月11日にWindows 10の大幅なアップデートが開始されたので、私も所有・管理するPCのアップデートを行った。それに伴いWindows Subsytem for Linux及びBash on Ubuntu on Windowsの更新を行うことにした。当初はbash上からdist-upgradeだけで済むと考…