Agreed. Plus, it’s unmistakable that rm meant “remove” when you examine her sister “rmdir.”
I think it’s a bit more interesting to uncover why rm does not remove directories by default thereby obviating the need for rmdir—-especially since the potentially nightmarish incantation of “rm -rf” does include files, folders and just about everything
else in between.
Bill Corcoran
Another country heard from. I doubt the Robert Morris story, given that a command as fundamental as "rm" must have come about very early in the
development, and there isn't a pattern of naming commands after their authors.