2020-02-23 ■ 雑 終日、積読本をこなす。 Raspberry pi 3用の設定を色々とトライしてみたが、どうやってもIPアドレスが変更できない。入れてあるdebian も7だし思い切って最新のにしてしまおうと本家のサイトからダウンロードを心居たが遅い。ミラーサイトでやると良いと言うのでそちらを試してみたが、それも遅い。ネットの速度を測ってみたが2時間はかからないはずなんだが。日を改めてトライしよう。