5 # Try *hard* to delete $@. Among other things, some systems have
6 # r-xr-xr-x for root and other system dirs.
9 rm -rf "$@" # Maybe we'll get lucky.
11 test -e "$f" || continue
12 if test "$(type -p setfacl)"; then
15 if test "$(type -p chattr)"; then
28 if test "$rc" -ne 0; then
29 echo "Failed to delete everything" 1>&2