From 983167f6d70dbb2a5e00058b76c675a952ee0d35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 15 Feb 2022 23:27:45 +0100 Subject: [PATCH] save --- init.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/init.sh b/init.sh index f00fef4..d363514 100755 --- a/init.sh +++ b/init.sh @@ -1,8 +1,8 @@ #!/bin/bash source config -find -type f | xargs sed -i "s/\/${mainfile}/g" -find -type f | xargs sed -i "s/\/${course}/g" -find -type f | xargs sed -i "s/\/${stylefile}/g" -find -type f | xargs sed -i "s/\/${repo}/g" -find -type f | xargs sed -i "s/\/${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"