From 53cfad893920ec2cc4d05b2df98cddbae47715f8 Mon Sep 17 00:00:00 2001
From: Matthias Wirth <matthias.wirth@gmail.com>
Date: Mon, 30 Nov 2020 22:27:32 +0100
Subject: [PATCH] concat example and anchors for messing with the html

---
 concat-example.sh | 23 +++++++++++++++++++++++
 html/index.html   |  2 ++
 2 files changed, 25 insertions(+)
 create mode 100644 concat-example.sh

diff --git a/concat-example.sh b/concat-example.sh
new file mode 100644
index 0000000..5e614aa
--- /dev/null
+++ b/concat-example.sh
@@ -0,0 +1,23 @@
+function magic() {
+    FN="$1.$2"
+    MD5="$1_$(md5sum "$FN" | cut -f1 -d' ').$2"
+    sed -i -e "s/$FN/$MD5/" index.html
+    mv "$FN" "$MD5"
+}
+
+
+for file in $(grep -oP -e '"stylesheet" href="\K[^"]*' index.html); do
+    sed -i -e "\\#$file#d" index.html
+    cat $file >> all.css
+done
+sed -i -e 's$.*CSS_ANCHOR.*$\0\n<link rel="stylesheet" href="all.css" type="text/css" />$' index.html
+magic all css
+
+
+for file in $(grep -oP -e 'script src="\K[^"]*' index.html); do
+    sed -i -e "\\#$file#d" index.html
+    cat "$file" >> all.js
+done
+sed -i -e 's$.*JS_ANCHOR.*$\0\n<link rel="stylesheet" href="all.css" type="text/css" />$' index.html
+magic all js
+
diff --git a/html/index.html b/html/index.html
index 91bf660..7ba5efe 100644
--- a/html/index.html
+++ b/html/index.html
@@ -8,6 +8,7 @@
     <meta name="mobile-web-app-capable" content="yes">
     <meta name="viewport" content="user-scalable=no, initial-scale=1.0, minimum-scale=1.0, maximum-scale=1.0, minimal-ui" />
 
+    <!-- CSS_ANCHOR -->
     <link rel="stylesheet" href="libs/jquery-ui-1.12.1.min.css" type="text/css">
     <link rel="stylesheet" href="libs/ol-643.css" type="text/css" />
     <link rel="stylesheet" href="style.css" type="text/css" />
@@ -898,6 +899,7 @@
     <div id="container_splitter"></div>
 
     <script>let databaseFolder = "db2";</script>
+    <!-- JS_ANCHOR -->
     <script src="libs/jquery-3.5.1.min.js"></script>
     <script src="libs/elm-pep-01.js"></script>
     <script src="libs/jquery-ui-1.12.1.min.js"></script>