2022-02-15 23:24:20 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
2022-02-15 23:20:19 +01:00
|
|
|
source config
|
2022-02-15 23:27:45 +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"
|