git commit --amend \ --date="Sat Jun 10 13:00:32 2014 +0900" \ --author="author <author@example.com>" で、コミットしたユーザー(author)とその日時(author date)を修正できる。デフォルトのgit logで表示されるものが、これらである。 一方で、authorとauthor dateとは別</author@example.com>…

A-Za-z0-9から成る32文字の文字列を生成: LC_CTYPE=C tr -dc A-Za-z0-9 < /dev/urandom | head -c 32

OS Xのbashで、あるディレクトリ以下の全てのファイルから5ファイルをランダムに選択したい場合: for f in $(find . -type f); do echo `uuidgen` $f; done | sort | head -5 | awk '{print $2}' CentOSであればsort -Rでランダムにソートできるので、もう少…

桜の名所、長野の高遠。初夏の風が心地よかったです。