remove empty diff files

2022-09-17 11:24:39 +02:00 · 2022-09-17 11:24:39 +02:00 · 14bcd6e4b4
commit 14bcd6e4b4
parent 872c88b268
1 changed files with 2 additions and 0 deletions
--- a/misc/scripts/download_segments_diff.sh
+++ b/misc/scripts/download_segments_diff.sh
@ -25,6 +25,8 @@ done

 <diffs xargs -I{} -P8 curl "http://brouter.de/brouter/segments4/diff/{}" --remote-time --output "$out_dir/{}" --silent

+find $out_dir -type f -size 0 -delete
+
 rm diffs

 echo "All segments diff downloaded in ${SECONDS}s"