.gitignoreに追加すべきものを間違えてaddしてしまったとき、主に開発環境用の個人向け設定ファイル（.idea/*）とかをgit管理からはずしたいときは、git rmを使う。 $ git rm .idea/* 意外と今日初めて使った。

3桁で、0で穴埋めをする。sprintfを使う。 for i in 1..200 do puts sprintf("%03d",i) end