Git初心者に役立つ「よく使うコマンド集」③

Git初心者に役立つ「よく使うコマンド集」
Git初心者に役立つ「よく使うコマンド集」②
の続きです。

Gitにプロキシ設定(認証必要)

git　config　--global　http.proxy　http://<username>:<password>@<serverhost>:<serverport>

ユーザー名を登録する

git　config　--global　user.name　<username>

メールアドレスを登録する

git　config　--global　user.email　<mailaddress>

リモートリポジトリの名前を変更する

git　remote　rename　<oldname>　<newname>

addを取り消す(コミット前)

git　reset　HEAD　--　<filename>

addを取り消す(コミット後)

git　rm　--cached　<filename>
このあとcommitが必要。
git管理から外れるだけであって、物理的に削除するわけではない。(--cachedを忘れずに！)