2022-02-15 23:20:19 +01:00
|
|
|
source config
|
2022-02-15 23:22:34 +01:00
|
|
|
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"
|
