workbench: fix colorise

IntersectMBO · Jun 28, 2022 · 83d8344 · 83d8344
1 parent 173b40c
commit 83d8344
Showing 1 changed file with 2 additions and 13 deletions.
diff --git a/nix/workbench/lib.sh b/nix/workbench/lib.sh
@@ -61,22 +61,11 @@ with_color() {
 }
 
 colorise_colors=(
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
-    red green yellow blue cyan white red green yellow blue cyan white
+    red green yellow blue cyan white
 )
 colorise() {
     for ((i=0; $#!=0; i++))
-    do echo -n "$(with_color ${colorise_colors[$i]} $1) "
+    do echo -n "$(with_color ${colorise_colors[$((i % 6))]} $1) "
        shift
     done
 }