WIP: imri-gitignore-explain-fix #7

Draft
imri wants to merge 3 commits from imri-gitignore-explain-fix into main
Showing only changes of commit 1c173592b2 - Show all commits
+16 -14
View File
@@ -33,24 +33,26 @@ git push -u origin main
git remote add origin https://git.eurobytes.eu/imri/Test.git git remote add origin https://git.eurobytes.eu/imri/Test.git
git push -u origin main git push -u origin main
``` ```
# How do I make Git forget about a file that was tracked, but is now in .gitignore? # How do I make Git forget about a file that was tracked, but is now in .gitignore?
First: `.gitignore` will prevent untracked files from being added (without an `add -f`) to the set of files tracked by Git. However, Git will continue to track any files that are already being tracked.
```bash To stop tracking a file, we must remove it from the index:
git rm -r --cached .
git add . git rm --cached <file>
```
To remove a folder and all files in the folder recursively:
git rm -r --cached <folder>
The removal of the file from the head revision will happen on the next commit.
**WARNING: While this will not remove the physical file from your local machine, it will remove the files from other developers' machines on their next `git pull`.**
https://stackoverflow.com/a/1274447/1148529
# Further git info
Then:
```bash
git commit -am "Remove ignored files"
```
Or as a one-liner:
```bash
git rm -r --cached . && git add . && git commit -am "Remove ignored files"
```