Re: [PATCH,RFC] Implement 'git rm --if-missing'

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Junio C Hamano <gitster@...>
Cc: Ciaran McCreesh <ciaran.mccreesh@...>, <git@...>
Date: Wednesday, July 16, 2008 - 2:58 pm

On Wed, Jul 16, 2008 at 11:48:42AM -0700, Junio C Hamano wrote:

Ah. This comes in handy. I already searched for a command to delete all
missing files. After reading through the fine manual of 'git rm', I went
to git update-index but didn't come up with a solution to my problem.

But I have to say, an argument to 'git rm' would be preferable than the
above plumping.

-Peter
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[PATCH,RFC] Implement 'git rm --if-missing', Ciaran McCreesh, (Wed Jul 16, 2:00 pm)
Re: [PATCH,RFC] Implement 'git rm --if-missing', Junio C Hamano, (Wed Jul 16, 2:48 pm)
Re: [PATCH,RFC] Implement 'git rm --if-missing', Peter Baumann, (Wed Jul 16, 2:58 pm)
Re: [PATCH,RFC] Implement 'git rm --if-missing', David Christensen, (Wed Jul 16, 3:43 pm)
Re: [PATCH,RFC] Implement 'git rm --if-missing', Petr Baudis, (Wed Jul 16, 2:06 pm)
Re: [PATCH,RFC] Implement 'git rm --if-missing', Avery Pennarun, (Wed Jul 16, 2:17 pm)