github.com セッションの保存・復元 (プロジェクト等) 異常終了時のセッションの復元 を目的としたセッション管理プラグインを作った。 コミットログ見れば分かるけど深夜の勢いで書いたので雑な部分もあるけど普通に使えるはず。 下の例と合わせて読み取っ…

追記 (2020/03/04): git grep の -n, -E を省略 追記 (2020/03/??): Git 小技集にタイトルを変えた。これまで Git 関連で運用してきて残った tips を載せる記事にすることに 追記 (2020/04/08):「git blame で特定コミットを無視する（コードスタイルの修正…

教師としてクラスを受け持つ夢を見た。 なぜいきなりそんな夢を見たかは謎。 私のどんな発言に対する返答か既に忘れてしまったけど *1、 いきなり生徒の一人に「班で話し合う形にしていいですか」と言われ、 咄嗟に「いや言ってません、机を戻してください」…