Am 07.08.20 um 02:02 schrieb Jeff King: > On Thu, Aug 06, 2020 at 10:23:54PM +0200, René Scharfe wrote: > >> So "file" is no longer ignored. Committing the .gitignore change >> doesn't change that: >> >> $ git add .gitignore >> $ git commit -m 2nd >> [master d4c95a1] 2nd >> 1 file changed, 1 deletion(-) >> $ git status >> On branch master >> Untracked files: >> (use "git add <file>..." to include in what will be committed) >> file >> >> nothing added to commit but untracked files present (use "git add" to track) >> >> Which steps did you take to arrive at a different result? > > Perhaps also: > > git check-ignore -v file > > would be helpful for seeing why Git thinks it might be ignored (e.g., > another wildcard rule that happens to match it). Right. And there is more than one possible place to specify files to be ignored. E.g. you can use info/exclude in your Git directory (i.e. .git/info/exclude by default) for repository-specific patterns don't want to share. See https://git-scm.com/docs/gitignore or the manpage of gitignore(5) for more details. René
