diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-13 01:35:01 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-04-13 01:35:01 (EDT) |
| commit | dad62a66102a5f35968c694200cad3a20da14dce (patch) | |
| tree | 95116a7dc61fbe6b0d34abefcd1baf849dfaac85 /src/garbage.sh | |
| parent | 58daff309a0b0c88bcf583ff971412667b88b83b (diff) | |
Add "|| :" after try_rmdir() calls
Diffstat (limited to 'src/garbage.sh')
| -rw-r--r-- | src/garbage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/garbage.sh b/src/garbage.sh index 2975b7a..575cc5d 100644 --- a/src/garbage.sh +++ b/src/garbage.sh @@ -63,7 +63,7 @@ collect_garbage() rm -f "${base_dir}/${file}" while [ ${dirs} -gt 0 ]; do file="${file%/*}" - try_rmdir "${base_dir}/${file}" + try_rmdir "${base_dir}/${file}" || : dirs=$((${dirs} - 1)) done done <"${garbage}" |