From dbb0aacfb3cebad51fc4fa7425143acff733b92f Mon Sep 17 00:00:00 2001 From: "Arnaud G. GIBERT" Date: Sat, 14 Feb 2026 19:59:00 +0100 Subject: [PATCH] - Add line shading in isl_dump_html function. --- Dockerfile | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 84dd244..ad6e4c2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -182,7 +182,12 @@ isl_html_dump() do \n\ set $line \n\ \n\ - print "${i_flag}" " " \n\ + if [[ $(( $i % 2)) -eq 0 ]] \n\ + then \n\ + print "${i_flag}" ` ` \n\ + else \n\ + print "${i_flag}" " " \n\ + fi \n\ \n\ j=1 \n\ while [[ $j -lt 7 ]] \n\ @@ -198,7 +203,7 @@ isl_html_dump() done \n\ \n\ print "${i_flag}" " " \n\ - i=$(( $j + 1)) \n\ + i=$(( $i + 1)) \n\ done \n\ } \n\ \n\