2013-12-06から1日間の記事一覧
.gitignoreに追加すべきものを間違えてaddしてしまったとき、主に開発環境用の個人向け設定ファイル(.idea/*)とかをgit管理からはずしたいときは、git rmを使う。 $ git rm .idea/* 意外と今日初めて使った。
3桁で、0で穴埋めをする。sprintfを使う。 for i in 1..200 do puts sprintf("%03d",i) end
.gitignoreに追加すべきものを間違えてaddしてしまったとき、主に開発環境用の個人向け設定ファイル(.idea/*)とかをgit管理からはずしたいときは、git rmを使う。 $ git rm .idea/* 意外と今日初めて使った。
3桁で、0で穴埋めをする。sprintfを使う。 for i in 1..200 do puts sprintf("%03d",i) end