vBulletin Search Engine Optimization
| |||||||
| Register | FAQ | Members List | Calendar | Search | Today's Posts | Mark Forums Read |
| ||||
| Maurice Janssen wrote: > On Friday, February 22, 2008 at 08:30:05 +0100, Heinrich Rebehn wrote: >> $ rm xxxx.* >> rm: xxxx.*: No such file or directory >> Who says it's an error ? rm tried to delete all (in this case, none) >> files matched. > > No, filename expansion is done by the shell. If there are no matching > filenames, xxxx.* is given as an argument to rm. > > Maurice > You are certainly right. But my point was, that in one case (rm) it is appropriate for the system to output an error message, if it cannot perform an action that the user requested, and in the other case (pkill) it's not. -Heinrich |