From e42c263a8f4986838c4a4bf36e511761b4d25d1a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Tue, 15 Feb 2022 23:29:07 +0100
Subject: [PATCH] save

---
 init.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/init.sh b/init.sh
index d363514..9d737b8 100755
--- a/init.sh
+++ b/init.sh
@@ -1,8 +1,9 @@
 #!/bin/bash
-
+{
 source config
 find -type f | xargs sed -i "s/\$mainfile/${mainfile}/g"
 find -type f | xargs sed -i "s/\$course/${course}/g"
 find -type f | xargs sed -i "s/\$stylefile/${stylefile}/g"
 find -type f | xargs sed -i "s/\$repo/${repo}/g"
 find -type f | xargs sed -i "s/\$term/${term}/g"
+}