1 # Assumes shell is Bash, and pipefail is set.
6 # Try *hard* to delete $@. Among other things, some systems have
7 # r-xr-xr-x for root and other system dirs.
8 rm -rf "$@" # Maybe we'll get lucky.
10 test -e "$f" || continue
11 if test "$(type -p setfacl)"; then
14 if test "$(type -p chattr)"; then
31 test "$#" -eq 1 || return $?
32 local script_home=$(cd "$(dirname $0)" && pwd)
34 PYTHONPATH="${script_home}/../lib" python -c \
35 "import sys, bup.helpers; print bup.helpers.realpath(sys.stdin.readline())" \
41 df -T . | awk 'END{print $2}'
46 # Return filesystem for each dir from $1 to /.
47 # Perhaps for /foo/bar, "ext4\next4\nbtrfs\n".
48 test "$#" -eq 1 || exit $?
50 current-filesystem || exit $?
51 dir="$(pwd)" || exit $?
52 while test "$dir" != /; do
54 dir="$(pwd)" || exit $?
55 current-filesystem || exit $?