|
From: | Jonny Grant |
Subject: | bug#41001: mkdir: cannot create directory ‘test’: File exists |
Date: | Sat, 2 May 2020 23:41:43 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 02/05/2020 20:47, Paul Eggert wrote:
On 5/2/20 6:26 AM, Jonny Grant wrote:If developers have race conditions in their shell scriptsI've personally fixed a bug in the GNU mkdir command that was triggered by such races. Core utilities should be reliable even when these races are happening.
Is a more accurate strerror considered unreliable? Current: mkdir: cannot create directory ‘test’: File exists Proposed: mkdir: cannot create directory ‘test’: Is a directory Cheers, Jonny
[Prev in Thread] | Current Thread | [Next in Thread] |