1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
#!/bin/sh set -e realpath() { oldpath=`pwd` if ! cd $1 > /dev/null 2>&1; then cd ${1##*/} > /dev/null 2>&1 echo $( pwd -P )/${1%/*} else pwd -P fi cd $oldpath > /dev/null 2>&1 } cd "$(realpath $(dirname "$0"))/.." rm */LOCK & rm -r texmf & rm -rf luatex/luatex & rm fmtdump/*.log & rm fmtdump/*.fmt