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