#!/bin/sh set -ev rm -rf $0.dir mkdir $0.dir cd $0.dir cat > top.fac < foo > foo EOF git init git add top.fac ${FAC:-../../fac} --log-output log grep foo foo ls -l log grep working log/foo cat > top.fac < test/foo > test/foo EOF cat top.fac.tum ${FAC:-../../fac} --log-output log grep foo test/foo ls -l log grep nice log/test_foo cat > top.fac <