2021年5月9日

Gitのpush忘れ防止スクリプトを追加した。記事にしようかと思ったけど、これ、全部シェルスクリプトで自前で書いてるんだよね。「なんでgit prompt使わないの？」「 vcs_info使えば？」と言われそうだから止めよう。

物理数学、第四回まで。途中でVSCode+Markdown+Mathのバグを踏んだので時間がかかった。