Apply a colouring from Culberson's colouring programs output to a file in DOT format.

colour

!#/bin/bash
r=1 # colouring number. Look at row 2r of the .res file.
n=1
p=$(( 2 * r ))
s=`sed "$p!d" $1` #generalise from 2 to 2r

while [ -n "$s" ]
do
 temp=${s#?}
 char=${s%"$temp"}
 if [ "$char" != " " ]; then
  colour=`palette $char` # set colour based on current label value
  printf "$n [style=filled, color=$colour];\n"
  n=$((n+1))
 fi
 s=$temp
done

palette

#!/bin/bash
case $1 in
 1) COLOUR=red ;;
 2) COLOUR=blue ;;
 3) COLOUR=green ;;
 4) COLOUR=yellow ;;
 5) COLOUR=orange;;
 6) COLOUR=maroon ;;
 7) COLOUR=teal ;;
 *) COLOUR=black ;;
esac
echo $COLOUR