Development record

Inside a bash -c or sh -c script, a delete that reads its names from a file redirected into it (xargs with a delete command and stdin from a file an earlier variable-built command wrote) is not refused by shell-c-variable-delete, because only a pipe or a here-document counts as feeding the delete; the host still stops to ask before such a script runs.