diff --git a/nix/workbench/lib.sh b/nix/workbench/lib.sh
index 29d3ad2adeb..23d815ceaf5 100644
--- 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
 }