673びぼーろく; bluetoothを切ってしまったときの再接続

 bluetoothでマウスの接続を切ってしまうと使えなくなる（当たり前だけど）

そんなときは以下で再接続する。

1. bluetoothctlを起動する
2. devicesで設定されているデバイスを表示
3. connect devicenameで再接続

できる。

672びぼーろく; 種々の依頼

 が結構いっぱいあった。何とか対応したい。

さて諸々あって今週は全然進まなかった。この調子だと後期開始には間に合いそうにない。残念。

671びぼーろく; 第4章読了

 とうとうホモトピーまで来た。初歩しかやってないけどお気持ちがわかった気がする。

670びぼーろく; onedriveへ乗り換え

 をした。linux上で同期させたければonedrive --monitor で同期してくれるようになる。ということで乗り換えを結構した。ちなみにmicrosoftの公式案内では最新版を使うように書いているが、issueのところにmonitorオプションをつけるとsegfaultで落ちるというようなことが書いてあるので、debian公式リポジトリのものを使うようにしている。
(毎回ふるいよとエラーが出るけどとりあえず動く)