1 |
maillog: 29/05/2004-22:31:06(-0700): Mike Lundy types |
2 |
> On Saturday 29 May 2004 20:10, Georgi Georgiev wrote: |
3 |
> > How do you propose "rm" to prevent you from deleting stuff in your |
4 |
> > homedir? Do you mean that it should warn you that the parameter you |
5 |
> > have given is your homedir, or that it should be changed to warn the |
6 |
> > user who types "rm -rf *"? The latter is quite impossible to |
7 |
> > accomplish. |
8 |
> |
9 |
> mike@levy:~/blah> rm * |
10 |
> zsh: sure you want to delete all the files in /home/mike/blah [yn]? y |
11 |
> |
12 |
> Zsh does this by default. :) |
13 |
|
14 |
The suggestion was to fix "rm", not the shell. This zsh feature looks cute |
15 |
though. |
16 |
|
17 |
-- |
18 |
*- Georgi Georgiev *- I call them as I see them. If I can't see *- |
19 |
-* chutz@×××.net -* them, I make them up. -- Biff Barf -* |
20 |
*- +81(90)6266-1163 *- *- |