From d15d121a4ab5f8da6024b6d823352eee414ba5ec 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:21:36 +0100
Subject: [PATCH] save

---
 config  |  0
 init.sh | 10 +++++-----
 2 files changed, 5 insertions(+), 5 deletions(-)
 mode change 100644 => 100755 config
 mode change 100644 => 100755 init.sh

diff --git a/config b/config
old mode 100644
new mode 100755
diff --git a/init.sh b/init.sh
old mode 100644
new mode 100755
index 171ad8d..506746b
--- a/init.sh
+++ b/init.sh
@@ -1,6 +1,6 @@
 source config
-find -type file | xargs sed -i "s/$mainfile/${mainfile}/g"
-find -type file | xargs sed -i "s/$course/${course}/g"
-find -type file | xargs sed -i "s/$stylefile/${stylefile}/g"
-find -type file | xargs sed -i "s/$repo/${repo}/g"
-find -type file | xargs sed -i "s/$term/${term}/g"
+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"