#!/bin/bash
{
source config
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"
}