Git学习—-从git移除文件而不删除硬盘文件

从版本库中移除一个文件,停止对该文件的版本控制

The git rm command will allows you to remove a file from git control. The –cached option to git remove allows you to leave it on your hard drive. Every once in awhile a file gets checked into git that isn’t supposed to be there. Common examples are configuration files, project files generated by your IDE with personal settings and even the occasional object file that someone decided to check in. These files are needed, so often you can’t delete them entirely and the process of copying them somewhere else, removing them from git and then replacing is painful, not to mention prone to error. By adding the –cached option to the git rm command, you are able to remote the file file from git control while keeping the file in your working tree. They command syntax is:

git rm --cached file

Git will no longer track this file even though it is still on your hard drive. After running the above command, be sure to add an entry to your .gitignore file so that ‘file’ doesn’t show up in 'git status' and that it can’t accidentally be re-added later.

from : http://www.gitguys.com/how-to-remove-a-file-from-git-source-control-but-not-delete-it/