2023-03-24 12:21:56 +01:00
|
|
|
#!/bin/bash
|
2023-03-24 15:45:03 +01:00
|
|
|
|
2023-03-24 16:34:36 +01:00
|
|
|
# Ensure important directories
|
2023-03-24 16:25:08 +01:00
|
|
|
mkdir -vp ./Repo
|
|
|
|
rm -rf ./Repo.tmp ./Output.tmp || true
|
2023-03-24 16:16:00 +01:00
|
|
|
|
2023-03-24 15:45:03 +01:00
|
|
|
# Export all tiddlers from the specific path of the HTML wiki
|
|
|
|
tiddlywiki \
|
2023-03-24 16:16:00 +01:00
|
|
|
./Wiki-OcttKB \
|
2023-03-24 15:45:03 +01:00
|
|
|
--verbose \
|
|
|
|
--output ./Output.tmp \
|
|
|
|
--save "[prefix[$:/OcttKB/Repo/]]"
|
|
|
|
|
|
|
|
# Move the exported folder to a better location
|
|
|
|
mv ./Output.tmp/\$_/OcttKB/Repo ./Repo.tmp
|
|
|
|
|
|
|
|
# Rename all extracted file to have a correct extension (remove forced .txt suffix)
|
|
|
|
# Don't filter for just .sh files anymore as we have other kinds of files
|
|
|
|
cd ./Repo.tmp
|
|
|
|
for File in *.txt
|
|
|
|
do
|
|
|
|
mv "$File" "${File/.txt}"
|
|
|
|
done
|
|
|
|
cd ..
|
|
|
|
|
|
|
|
# Move the files of this repo to overwrite the extracted ones, then move everything back
|
|
|
|
# This is so, if present, files from the repo are preferred, if needed in case of emergency
|
|
|
|
mv ./Repo/* ./Repo.tmp/
|
|
|
|
mv ./Repo.tmp/* ./Repo/
|
|
|
|
|
|
|
|
# Move everything to the working directory, ready for the next CI steps
|
|
|
|
mv ./Repo/* ./
|
|
|
|
chmod +x *.sh *.py || true
|