Amending .gitignore, removing files from git while keeping them locally -
all of developers have files should have been in .gitignore start of project, not.
is there git command remove files git, while keeping them locally and keeping them locally on other developer machines, when git pull?
ideally should @ diff of .gitignore decide needs removed kept locally.
at moment, considering following manual procedure:
my machine:
- get full paths of files match new
.gitignore, don't match old.gitignore - add of files out-of-tree tar file
git rmfilescommit,push origin masterchanges- email tar file other developers
every other developer's machine:
git pullupdate.gitignore, remove local copies of files should ignored.- untar tar file on top of local repo reinstate removed files
this procedure has huge scope manual errors - there better way?
i've looked at:
remove file git without deleting them locally , remotely
removing file versioning keeping locally? ,
http://gitready.com/intermediate/2009/02/18/temporarily-ignoring-files.html
locally can by:
git rm --cached file_name
arlo carreon explains how multiple developers: http://www.arlocarreon.com/blog/git/untrack-files-in-git-repos-without-deleting-them/
Comments
Post a Comment