Windows can't overwrite the file if it's in use. If I know factor.sh has changed, on a Windows box i'll do git pull; ./build-support/factor.sh update
To restore the file just: git checkout build-support/factor.sh This might be a good one for the faq. Doug On May 5, 2008, at 2:28 AM, Stefan Scholl wrote: > Funny: > error: git-checkout-index: unable to create file build-support/ > factor.sh (Permission denied) > > And now factor.sh is gone. :-) > > > -- > Web (en): http://www.no-spoon.de/ -*- Web (de): http://www.frell.de/ > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save > $100. > Use priority code J8TL2D2. > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Factor-talk mailing list > Factor-talk@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/factor-talk ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk