cat and delete config
This commit is contained in:
parent
e04f1cc145
commit
62d080b0f8
1 changed files with 2 additions and 0 deletions
2
init.sh
2
init.sh
|
@ -6,6 +6,7 @@ then
|
||||||
exit
|
exit
|
||||||
fi
|
fi
|
||||||
{ ## DO NOT REMOVE THIS OR EVERYTHING BLOWS UP
|
{ ## DO NOT REMOVE THIS OR EVERYTHING BLOWS UP
|
||||||
|
cat config
|
||||||
source config
|
source config
|
||||||
find -type f | xargs sed -i "s/\$mainfile/$(printf '%s\n' "$mainfile" | sed -e 's/[\/&]/\\&/g')/g"
|
find -type f | xargs sed -i "s/\$mainfile/$(printf '%s\n' "$mainfile" | sed -e 's/[\/&]/\\&/g')/g"
|
||||||
find -type f | xargs sed -i "s/\$course/$(printf '%s\n' "$course" | sed -e 's/[\/&]/\\&/g')/g"
|
find -type f | xargs sed -i "s/\$course/$(printf '%s\n' "$course" | sed -e 's/[\/&]/\\&/g')/g"
|
||||||
|
@ -21,6 +22,7 @@ mv latexmkrc .latexmkrc
|
||||||
mv ci .ci
|
mv ci .ci
|
||||||
rm init.sh
|
rm init.sh
|
||||||
rm -rf .git
|
rm -rf .git
|
||||||
|
rm config
|
||||||
git init
|
git init
|
||||||
git add .
|
git add .
|
||||||
git commit -m "initial commit"
|
git commit -m "initial commit"
|
||||||
|
|
Loading…
Reference in a new issue