> From: Gavin Smith <[email protected]> > Date: Sat, 3 Dec 2022 19:19:50 +0000 > Cc: [email protected], [email protected] > > On Sat, Dec 03, 2022 at 08:54:42PM +0200, Eli Zaretskii wrote: > > I suggest the other way around: try renaming, and if it fails, remove and > > retry renaming. This way, if remove fails, it fails the entire renaming > > operation, and you don't need to deal with remove failing due to unrelated > > reasons. > > I've done this:
LGTM, thanks.
