git
新しいandroid のソースの取得は、https経由で行う。 proxy 環境下では、 https_proxy を指定しなければならない。 が、特定のバージョンのgitではproxy+https はうまくいかないらしい。http://curl.haxx.se/mail/lib-2011-05/0214.htmlなので、repo をいじ…
git でこのコミットがどのブランチに属しているかを調べる方法 / how to find which branch has this commithttp://stackoverflow.com/questions/2706797/git-finding-what-branch-a-commit-came-from
以下のようにすると、複数のコミットを一つにまとめたりできるらしい。 git rebase -i HEAD~4 http://labs.timedia.co.jp/2010/11/git-squash-commits.html
fatal: You have not concluded your merge. (MERGE_HEAD exists) とでたら、 git reset --merge とすればいい
ヘルプの上の方に書いてないのでわかりにくかったが、単に $ git branch development * development2 となっているとき、developmentのLogを見る場合は、 $ git log development で良かった。
$ git add hoge foobar とすると hoge と foobar がステージに入りますが(つまり、コミット対象になりますが)、ログの美しさの都合上、 foobar は別のコミットにしたい、ということに気づいたらどうするか。 $ git reset HEAD foobar とすると、 foobar が…