Development record
rm -rf $PWD/../* is allowed while rm -rf ../* and rm -rf $PWD/* warn (rm-rf-working-directory): the same parent directory, spelled through $PWD, is not folded, since the lexical fold of .. reads only targets that begin at the root or the home. ./../* and x/../../* (the parent too) are allowed the same way.
issueresolvedminoriss-2609290925346181
rm -rf $PWD/../* is allowed while rm -rf ../* and rm -rf $PWD/* warn (rm-rf-working-directory): the same parent directory, spelled through $PWD, is not folded, since the lexical fold of .. reads only targets that begin at the root or the home. ./../* and x/../../* (the parent too) are allowed the same way.
Grounds
- pursued: a target reaching the working directory's parent through $PWD or a relative .. warns as ../* does; such a spelling that allows would show it wrong
Frontmatter
| id | iss-2609290925346181 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2609290925346181-rm-rf-pwd-is-allowed-while-rm-rf-and-rm.md
open on GitHub ↗ · commit history ↗