source config
find -type file | xargs sed -i "s/$mainfile/${mainfile}/g"
find -type file | xargs sed -i "s/$course/${course}/g"
find -type file | xargs sed -i "s/$stylefile/${stylefile}/g"
find -type file | xargs sed -i "s/$repo/${repo}/g"
find -type file | xargs sed -i "s/$term/${term}/g"