greg/hanoidb
1
0
Fork 0
Code Issues 10 Pull requests 3 Projects Releases Packages Wiki Activity

triangles

Browse source
This commit is contained in:
Gregory Burd 2024-07-19 06:34:40 -04:00
parent 1959f973b2
commit bc750ed98e
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
tools/viz.sh
View file

@ -10,7 +10,7 @@ merge_diff() {
export RES=0 export RES=0
fi fi
if [[ $RES -eq 0 ]]; then if [[ $RES -eq 0 ]]; then
export RES="»" export RES="⋈"
fi fi
} }
@ -22,17 +22,17 @@ function dynamic() {
s="" s=""
for ((i=10; i<22; i++)) ; do for ((i=10; i<22; i++)) ; do
if [ -f "C-$i.data" ] ; then if [ -f "C-$i.data" ] ; then
s="${s}≡" s="${s}△"
else else
s="$s " s="$s "
fi fi
if [ -f "B-$i.data" ] ; then if [ -f "B-$i.data" ] ; then
s="${s}=" s="${s}◁"
else else
s="$s " s="$s "
fi fi
if [ -f "A-$i.data" ] ; then if [ -f "A-$i.data" ] ; then
s="${s}-" s="${s}▷"
else else
s="$s " s="$s "
fi fi