portabookにWSLのbashを入れる。 さて、そもそもWSLとはWindows anniversary updateに入っている、Windows subsystem for Linuxのこと。ディストリビューションはubuntu ただし、64bit版にしかWSLはない。 導入方法は色んなブログにあるのでそっちを参照して…