[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: deleting invisible files in git

From: Johannes Schindelin
Subject: Re: deleting invisible files in git
Date: Sat, 17 Feb 2007 00:06:29 +0100 (CET)


On Fri, 16 Feb 2007, Graham Percival wrote:

> I can see capital letters; besides,
> tsubasa:~/usr/src/lilypond/input/lsr/spacing gperciva$ ls Page*
> ls: Page*: No such file or directory

Please try without wildcards. IIRC these are not case sensitive, strangely 
enough. So,


should return "".

> > Okay, this is a little obscure, but can easily be done:
> > 
> >     git rm --cached <filename>
> > 
> > (This _needs_ Git 1.5.0). You need to say "--cached" so it does not
> > actually remove the file in the working directory (since you can access it
> > using the other spelling).
> Argh, fink only has  Oh well.  :(

You can -- for now -- use the more obscure parts of git:

        git update-index --force-remove

Again, please check with `git status` that all is well.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]