雨。
県図書館。
＃
日付が変わりましたでございます。何をやっていたかというと、メイン機 VAIO Fit 15E の外付けHDD に入れた Linux Mint 18 の立ち上げがうまくいかないのである。BIOS の設定などはおかしくない筈のに、ちっとも Linux をブートせず本体内の Windows 8.1 が立ち上がってしまう。どうも HDD そのものがおかしいのではないかと思い、USBメモリに Linux Mint 18 をインストールしてみた。その際に、ブートに UEFI を使うからには GPT でフォーマットしてみて（今までは UEFI を MBR で管理していたので、これがそもそもいけなかったのかも知れない）、EFI には 200MB くらい割り当てた。ブートローダーをどこにいれるか迷ったのだが、USBメモリの先頭（いわゆる sdb）に入れた。これでインストールしてみたら一応うまくいったので、やはり HDD そのものがもう寿命だったのか。ただし、安物の USBメモリから起動する Linux Mint 18 Cinnamon は重すぎて、とても実用は無理である（もっと軽いディストリビューションなら可能かも知れないが）。なので、さっきアマゾンで外付けSSD を注文したところ。SSD からブートできるかは初挑戦なので、失敗するかも知れない。とにかくやってみる。
