diff --git a/tools/viz.sh b/tools/viz.sh index d73390e..950e763 100755 --- a/tools/viz.sh +++ b/tools/viz.sh @@ -10,7 +10,7 @@ merge_diff() { export RES=0 fi if [[ $RES -eq 0 ]]; then - export RES="»" + export RES="⋈" fi } @@ -22,17 +22,17 @@ function dynamic() { s="" for ((i=10; i<22; i++)) ; do if [ -f "C-$i.data" ] ; then - s="${s}≡" + s="${s}△" else s="$s " fi if [ -f "B-$i.data" ] ; then - s="${s}=" + s="${s}◁" else s="$s " fi if [ -f "A-$i.data" ] ; then - s="${s}-" + s="${s}▷" else s="$s " fi