月: 2017年10月

GPD Pocket（ubuntu版）を入手したのだが、起動が遅かったりイザという時に自分でインストールできないと困るので、いろいろと方法を試してみたところ、 https://apt.nexus511.net/ のビルド...