Development record
rm -rf /*/ and rm -rf ~/*/ (and $HOME/*/, ${HOME}/*/, ~/.*/) are allowed, although /*/ globs every directory under the root and ~/*/ every directory in the home, so each deletes what /* or ~/* deletes less the plain files: rm-rf-root-or-home names /, /*, ~, ~/ and ~/* but no trailing-slash glob, while rm-rf-working-directory names */ and ./*/ for the working directory. Found while pinning ~/**/ for the ** reading.
issueresolvedmajoriss-2609290929129725
rm -rf // and rm -rf ~// (and $HOME//, ${HOME}//, ~/./) are allowed, although // globs every directory under the root and ~// every directory in the home, so each deletes what / or ~/* deletes less the plain files: rm-rf-root-or-home names /, /, ~, ~/ and ~/ but no trailing-slash glob, while rm-rf-working-directory names / and .// for the working directory. Found while pinning ~/**/ for the ** reading.
Grounds
- pursued: a recursive delete of every directory under the root or in the home blocks however the trailing slash is spelled; such a spelling that allows would show it wrong
Frontmatter
| id | iss-2609290929129725 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | major |
.abcd/work/issues/resolved/iss-2609290929129725-rm-rf-and-rm-rf-and-home-home-are.md
open on GitHub ↗ · commit history ↗