Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Bug#95395: additions to the rm 10 second pause

On Fri, Apr 27, 2001 at 03:59:02PM +0000, Bart Schaefer wrote:
> On Apr 27, 10:42am, Clint Adams wrote:
> } Or is there value in adding these to execcmd?
> I'd be willing to add '/', but I don't believe we should be checking any
> sort of option strings.  If you're already super-user and doing `rm -d'
> where you shouldn't be, you're in deeper trouble than zsh can possibly dig
> you out of.  RM_STAR_xxx was added because zsh was originally deployed at
> Princeton and used by students who often didn't know what they were doing;
> people with root privileges better not be in that category, nor should
> they rely on their shell to prevent them from doing something stupid.
> My vote is to leave this unchanged and possibly add a FAQ entry about it,
> as this is not the first time it's come up.

Upon further consideration, I agree that only '/' really needs to be added. The
only need of this feature is to prevent accidents, and if you are using -d,
it's probably not by accident, and if IS an accident, you're root, so that's
your own problem. So, in short, yeah. :)

-> -/-                       - Rahul Jain -                       -\- <-
-> -\- http://linux.rice.edu/~rahul -=- mailto:rahul-jain@xxxxxxx -/- <-
-> -/- "I never could get the hang of Thursdays." - HHGTTG by DNA -\- <-
   Version 11.423.999.220020101.23.50110101.042
   (c)1996-2000, All rights reserved. Disclaimer available upon request.

Messages sorted by: Reverse Date, Date, Thread, Author