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