Re: [PATCH 0/3] Fixing volatile HEAD in push.default = current
- From
Andreas Krey <a.krey@gmx.de>
- Date
- May 23, 2013, 19:27 UTC
- Message-ID
- <20130523192725.GS9448@inner.h.apk.li>
- In-Reply-To
- <7vmwrlhi0h.fsf@alter.siamese.dyndns.org>
On Thu, 23 May 2013 07:45:34 +0000, Junio C Hamano wrote: ...
> Even with 'mv', between the time the main in mv starts and the > process finally issues rename(2) on the directory, you can start > running what competes and interferes with it in another terminal, > so it does not fundamentally change anything, I would have to say.
Not fundamentally, it's just that the mv is fast enough you wouldn't even think of switch to another term/backgrounding it.
Andreas
-- "Totally trivial. Famous last words." From: Linus Torvalds <torvalds@*.org> Date: Fri, 22 Jan 2010 07:29:21 -0800