home · contact · privacy
Remove redundant whitespace.
authorChristian Heller <c.heller@plomlompom.de>
Fri, 3 Jul 2020 17:55:38 +0000 (19:55 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Fri, 3 Jul 2020 17:55:38 +0000 (19:55 +0200)
update.sh

index 11bfb0f997b323ff876ea1d968e3fd04622eaa53..57ecf89d056395bf704c3ead01f945d118c7a597 100755 (executable)
--- a/update.sh
+++ b/update.sh
@@ -15,7 +15,7 @@ today="$(date +%Y-%m-%d)"
 curl "${CSV_URL}" \
 | awk 'BEGIN { FS=";"; ORS=""; print "'${today}'" }; '\
 '!/^Bezirk/ { printf "%4d", $3 }; '\
-'END { printf "\n" }' "${filename}" >> "${table_path}" 
+'END { printf "\n" }' "${filename}" >> "${table_path}"
 
 # Write enhanced table output to directory served by web server.
 ./enhance_table.py "${table_path}" txt > /var/www/html/berlin_corona.txt