tests/test-highlight

7622:4dd7b28003d2

head -n 4 out
rm out

echo % errors encountered
cat errors.log
kill `cat hg.pid`

# Change the pygments style
cat > .hg/hgrc <<EOF
[web]
pygments_style = fruity

head -n 4 out
rm out

echo % errors encountered
cat errors.log

7623:03007ad08027

head -n 4 out
rm out

echo % errors encountered
cat errors.log
"$TESTDIR/killdaemons.py"

# Change the pygments style
cat > .hg/hgrc <<EOF
[web]
pygments_style = fruity

head -n 4 out
rm out

echo % errors encountered
cat errors.log