From ea8b305b3a4834ee255d75743abefdf6dab86a67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de>
Date: Tue, 28 Apr 2020 19:00:45 +0200
Subject: [PATCH] update isabelle-prepare to fix all characters
---
timeline/week18.txt | 2 +-
ulo/isabelle-prepare.sh | 3 +++
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/timeline/week18.txt b/timeline/week18.txt
index 2188172..180daf6 100644
--- a/timeline/week18.txt
+++ b/timeline/week18.txt
@@ -39,7 +39,7 @@ Week 18 (27.04.-03.05.)
-> the IRIs in the Isabelle exports have the following
characters which are (according to automated tool
- `iriok' [4]) not valid: '|', '\' and ' '
+ `iriok' [4]) not valid: '|', '\', ' ', '^'
-> importing the files w/ fixed IRIs I get new errors
from graphDB (sigh)
diff --git a/ulo/isabelle-prepare.sh b/ulo/isabelle-prepare.sh
index 9459109..b1e787c 100755
--- a/ulo/isabelle-prepare.sh
+++ b/ulo/isabelle-prepare.sh
@@ -26,5 +26,8 @@ for file in $files; do
# uncompress, fix iris, compress again
unxz "$file"
sed -i 's/|/%7C/g' "$rdf_file"
+ sed -i 's/\\/%5C/g' "$rdf_file"
+ sed -i 's/ /%20/g' "$rdf_file"
+ sed -i 's/\^/%5E/g' "$rdf_file"
gzip "$rdf_file"
done
--
GitLab