From 62d080b0f81e6f6fccf38d338f547295c2a40893 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 15 Feb 2022 23:58:47 +0100 Subject: [PATCH] cat and delete config --- init.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/init.sh b/init.sh index cc0a50f..e7f1255 100755 --- a/init.sh +++ b/init.sh @@ -6,6 +6,7 @@ then exit fi { ## DO NOT REMOVE THIS OR EVERYTHING BLOWS UP +cat config source config find -type f | xargs sed -i "s/\$mainfile/$(printf '%s\n' "$mainfile" | sed -e 's/[\/&]/\\&/g')/g" find -type f | xargs sed -i "s/\$course/$(printf '%s\n' "$course" | sed -e 's/[\/&]/\\&/g')/g" @@ -21,6 +22,7 @@ mv latexmkrc .latexmkrc mv ci .ci rm init.sh rm -rf .git +rm config git init git add . git commit -m "initial commit"