On Fri, Dec 06, 2024 at 12:10:15PM +0100, Patrick Steinhardt wrote:
We use printf to set up sections with GitLab CI even though we could
trivially use echo.
probably not a good idea, because the file is also included from plain
sh scripts, which may invoke an `echo` that cannot deal with \escapes.
at least potentially.
This may cause problems in case the argument passed to `begin_group ()`
or `end_group ()` contains formatting directives as we use them as part
of the formatting string.
that can be fixed properly by using the %s expando.
quoted hunk ↗ jump to hunk
+++ b/ci/lib.sh
- printf "\e[0Ksection_start:$(date +%s):$(echo "$1" | tr ' ' _)[collapsed=true]\r\e[0K$1\n"
+ echo "\e[0Ksection_start:$(date +%s):$(echo "$1" | tr ' ' _)[collapsed=true]\r\e[0K$1"