From 9ecf3ada89c600dee7360dcb3345dcd87756d01b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 15 Feb 2022 23:22:34 +0100 Subject: [PATCH] save --- init.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/init.sh b/init.sh index 506746b..df434b5 100755 --- a/init.sh +++ b/init.sh @@ -1,6 +1,6 @@ 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" +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"