No Such Blog or Diary

reduce/reduce conflict が……　消えない．まあ当然の結果なのだけど，GLR にするのも何だなぁと思うので泥臭く頑張る．

そして気づくと日が沈んでて灯りのスイッチのとこに行くまでが大変．太陽電池な足元照らすライトとか置いとくと良いかもしれない．

iPad 上で 5時間くらい掛けて論文に赤入れしたのに，最後にメールに添付して送ろうとしたところで変な挙動になってデータロストした．途中で保存してたはずのファイルは赤入れしてない状態のままだったし……　泣ける．

結論：やっぱ紙がよい．

20人くらいから情報を集める必要があって，その依頼をするメールを投げたのだけど，その情報を送り返すときに元のメールと関係ない形で送り返してくれてるのがあってとても効率が悪い．

普通に元のメールに対する返信で送り返してくれてれば References や In-Reply-To ヘッダの情報でスレッド化できて後の情報整理が楽だし，何なら「Re: 元メールのタイトル」になっててくれるだけでも関連付けが容易なので後の情報整理が楽．でも，そこら辺をやってくれてないメールは発掘の手間が大きすぎて作業効率が悪い．

送り返す側が締切と要件だけ覚えてるけど元メールの発掘が面倒だからそうなったのかも知れん．

Git Credential Manager for Windows を置き換える Git Credential Manager Core ってのがあるのだけど，そいつを WSL から使おうとしたらうまく動かなかった．git.exe が見つからないという例外とかを食らっててどうにもならない．

ググってみたらつい最近に同じ問題の issue があって，結局どうにもならんっぽいので諦めるのが正しそう： https://github.com/microsoft/Git-Credential-Manager-Core/issues/255

ということで，諦めて古い方である Git Credential Manager for Windows を入れて使うことにした．こっちなら git-credential-manager.exe を credential.helper に指定するだけで WSL 内の git からでも問題なく使えるので．

新しいノートPCが来たのでデータの移行をしようと思って，ついでだからバックアップも取っておこうかと USB3.1 Gen2 な外付け SSD にデータをコピーしてみたら思ったより速くて驚いた．450MB/s くらい出てた．いつも PC to PC でネットワーク越しにコピーしてたのがバカみたい．

今まで実感してなかったけど外付け SSD だけ持ち歩くのでも普通に生活できそうだなこれは．ソフトウェアのライセンス数がちょっとネックになりそうだけど．

課題提出の通知を試そうと思って学生ロールになって提出してみたけれど，課題更新の通知が送られてこない．ロール変えてても同一アカウントだから通知がキャンセルされてるのかな？

とりあえず誰か別のアカウントでためさんとダメだな．