2016-12-21 メモ git grepしてマッチした部分を置換するやつはすでにあるけど,git ls-filesして結果を置換するとリネームしてくれる,というやつがあると便利では? git関係なく動くとよりよい