1 |
maillog: 31/05/2004-10:59:29(+0200): Bernd Petrovitsch types |
2 |
> On Sun, 2004-05-30 at 08:10, Georgi Georgiev wrote: |
3 |
> > maillog: 29/05/2004-22:31:06(-0700): Mike Lundy types |
4 |
> > > On Saturday 29 May 2004 20:10, Georgi Georgiev wrote: |
5 |
> > > > How do you propose "rm" to prevent you from deleting stuff in your |
6 |
> > > > homedir? Do you mean that it should warn you that the parameter you |
7 |
> > > > have given is your homedir, or that it should be changed to warn the |
8 |
> > > > user who types "rm -rf *"? The latter is quite impossible to |
9 |
> > > > accomplish. |
10 |
> > > |
11 |
> > > mike@levy:~/blah> rm * |
12 |
> > > zsh: sure you want to delete all the files in /home/mike/blah [yn]? y |
13 |
> > > |
14 |
> > > Zsh does this by default. :) |
15 |
> > |
16 |
> > The suggestion was to fix "rm", not the shell. This zsh feature looks cute |
17 |
> > though. |
18 |
> |
19 |
> With the simple problem, that `rm` doesn't see the *. |
20 |
|
21 |
Which is exactly why I said that it is impossible in the first place. |
22 |
|
23 |
-- |
24 |
/\ Georgi Georgiev /\ Nearly all men can stand adversity, but if /\ |
25 |
\/ chutz@×××.net \/ you want to test a man's character, give him \/ |
26 |
/\ +81(90)6266-1163 /\ power. -- Abraham Lincoln /\ |
27 |
|
28 |
-- |
29 |
gentoo-dev@g.o mailing list |