ひびのびぼーろく

 bluetoothでマウスの接続を切ってしまうと使えなくなる（当たり前だけど） そんなときは以下で再接続する。 bluetoothctlを起動する devicesで設定されているデバイスを表示 connect devicenameで再接続 できる。

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

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

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