diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-11 11:37:30 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-11 11:39:08 +0100 |
| commit | 5d81fd88bb18f6d6f23b0182e4d93b191122fdb0 (patch) | |
| tree | 2db898da6140ef2d68202554281f0917e61ceedc | |
| parent | b0e5814f1fece32f6d42e6cb0b88bdb68fe5368a (diff) | |
| download | builder-5d81fd88bb18f6d6f23b0182e4d93b191122fdb0.tar.xz | |
bin/db-update: some safeguard: do not "find -delete" w/o "-xdev"
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/db-update b/bin/db-update index 5fc7af3..94c1ec6 100755 --- a/bin/db-update +++ b/bin/db-update @@ -163,7 +163,7 @@ export TMPDIR="${tmp_dir}" for source_stability in \ "${repository_stability_ids__testing}" \ "${repository_stability_ids__staging}"; do - find "${tmp_dir}" -mindepth 1 -delete + find "${tmp_dir}" -xdev -mindepth 1 -delete # shellcheck disable=SC2016 { |