From bc750ed98ef9cefc47211cb75fae1c35e4c2d394 Mon Sep 17 00:00:00 2001 From: Greg Burd Date: Fri, 19 Jul 2024 06:34:40 -0400 Subject: [PATCH] triangles --- tools/viz.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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