Re: rm should exit immediately if the user cannot write to the parent directory

2015-09-04 Thread Eric Blake
On 09/03/2015 09:48 PM, Alex Henrie wrote: > I'd like to see the standard changed so that once rm determines that > the file is read-only, it may optionally check that the file can > actually be deleted and skip the prompt if it cannot. The default > codepath would not be affected, and the extra c

Re: rm should exit immediately if the user cannot write to the parent directory

2015-09-03 Thread Andreas Schwab
Alex Henrie writes: > I'd like to see the standard changed so that once rm determines that > the file is read-only, it may optionally check that the file can > actually be deleted and skip the prompt if it cannot. That assumes that it is actually possible to determine this condition reliably. T

Re: rm should exit immediately if the user cannot write to the parent directory

2015-09-03 Thread Alex Henrie
2015-09-03 9:56 GMT-06:00 Pádraig Brady : > I see your point. It's similar to the prompting discussed in > http://bugs.gnu.org/16669 Thanks for pointing me to that discussion, it was very interesting. Reading through it made me realize that step 3 of the current POSIX rm standard

Re: rm should exit immediately if the user cannot write to the parent directory

2015-09-03 Thread Jim Meyering
On Thu, Sep 3, 2015 at 7:56 AM, Alex Henrie wrote: > Hi, > > I have run into an annoying problem with GNU rm. When I try to remove > a file to which I do not have write permission from a directory to > which I do not have write permission, rm warns me about the file being > read-only before tellin

Re: rm should exit immediately if the user cannot write to the parent directory

2015-09-03 Thread Pádraig Brady
On 03/09/15 15:56, Alex Henrie wrote: > Hi, > > I have run into an annoying problem with GNU rm. When I try to remove > a file to which I do not have write permission from a directory to > which I do not have write permission, rm warns me about the file being > read-only before telling me that I d

rm should exit immediately if the user cannot write to the parent directory

2015-09-03 Thread Alex Henrie
Hi, I have run into an annoying problem with GNU rm. When I try to remove a file to which I do not have write permission from a directory to which I do not have write permission, rm warns me about the file being read-only before telling me that I do not actually have permission to delete it: $ su