Diary over Finite Fields

515ひかるの日記と雑文

少しシェルスクリプトを書いた.

少しシェルスクリプトを書いた. Gist においてある.

README.md を割と真面目に書いてしまったが, 正直ここまで書く必要あったのかっていう感じもする.

fetch_git

僕自身は自分はコミットしないが他人のコミットを常に気にしないといけないことがあって, それで一斉に fetch できたら楽だななんて思ったのだけれど,需要があるのかは知らないし興味がない.

しかし, わりと簡単なことのはずなんだけど, 妙に頭を使った気がする. ずっとサボってたのでボケてるのかな.