Bootstrap.sh

#!/bin/bash
set -e # Exit on any error
set -x # Echo all commands

# Configuration
WikiName="OcttKB"
WikiLoading="./Wiki-${WikiName}"

# Ensure important directories
mkdir -vp ./Repo
rm -rf ./Repo.tmp ./Output.tmp || true

# Export all tiddlers from the specific path of the HTML wiki
tiddlywiki \
	${WikiLoading} \
	--verbose \
	--output ./Output.tmp \
	--save "[prefix[\$:/${WikiName}/Repo/]]"

# Move the exported folder to a better location
mv "./Output.tmp/\$_/${WikiName}/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/ || true
mv ./Repo.tmp/* ./Repo/

# Move everything to the working directory, ready for the next CI steps
mv ./Repo/* ./
chmod +x *.sh *.py || true