Commit 81de051a authored by Guillaume Huard's avatar Guillaume Huard
Browse files

Small fixes

parent 6eaadd9d
......@@ -75,6 +75,8 @@ then
rm -fr $file
fi
done
# adjust the terminal size to the actual window
resize >/dev/null
fi
# Runs custom setup (common to all modes)
......
......@@ -68,6 +68,7 @@ $(WRONG_DIRS): %_wrong: %/vpl_id.txt %_wrong/$(TARGET)
.PRECIOUS: %/intro.html
%/intro.html: %.org
if [ ! -d $* ];then mkdir $*;fi
$(EMACS) $< --eval "(org-export-to-file 'html \"$@\" )"
$(LOCALS): %/vpl_execution.sh: $(VPLPP_FILES)
......
#!/usr/bin/env bash
VPLPP=$(dirname $0)
VPLPP=$(realpath $(dirname $0))
VPLADMIN=$VPLPP/vpladmin
usage () {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment