From: Paul Hänsch <paul@plutz.net>
Date: Sat, 23 Jan 2021 13:31:50 +0000 (+0100)
Subject: update naming convention for exported files
X-Git-Url: https://git.plutz.net/?p=confetti;a=commitdiff_plain;h=6e0c5a503b2ac95dd6cc7076a26edd89a45fee5e;hp=67242ede9efbdee9eaec4483cb882efc680c8c78

update naming convention for exported files
---

diff --git a/courses/export_pdf.sh b/courses/export_pdf.sh
index 3e5593d..62bb69e 100755
--- a/courses/export_pdf.sh
+++ b/courses/export_pdf.sh
@@ -16,7 +16,7 @@ elif ! mkdir -p "$_DATA/export"; then
 fi
 
 ics="$(pdi_load "$coursefile")"
-htmlfile="${_DATA}/export/$(pdi_value "$ics" SUMMARY |URL |tr / _).html"
+htmlfile="${_DATA}/export/$(pdi_value "$ics" SUMMARY |unescape |tr \\n/ __).html"
 pdffile=${htmlfile%.html}.pdf
 
 pdi_date() {
@@ -129,4 +129,4 @@ export  XDG_CACHE_HOME="$_DATA/xdg_cache"
 export   XDG_DATA_HOME="$_DATA/xdg_local"
 
 lowriter --convert-to pdf --outdir "$_DATA/export/" "$htmlfile" >/dev/null
-REDIRECT "/export/${pdffile##*/}"
+REDIRECT "$(URL "/export/${pdffile##*/}")"