diff options
Diffstat (limited to 'render-opdracht')
-rwxr-xr-x | render-opdracht | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/render-opdracht b/render-opdracht new file mode 100755 index 0000000..cc4fa48 --- /dev/null +++ b/render-opdracht @@ -0,0 +1,12 @@ +#!/bin/bash +bye () { + echo "run me as root!" + exit 1 +} + +[ $(id -g) -ne 0 ] && bye +cat reset.sql q*.sql | mysql -u root mysql +for file in t*.sql; do + mysql -Hu root mysql < "$file" &> "${file/%.sql}.md" +done +m4 `basename $PWD`.m4 > `basename $PWD`.md |