Hi, Willy
> On Thu, Jul 06, 2023 at 05:10:08PM +0800, Zhangjin Wu wrote:
> > align the test values for different runs and different architectures.
> >
> > Since the total number of tests is not bigger than 1000 currently, let's
> > align them with "%03d".
>
> %03d is not great for those who want to use them in scripts because it will
> prepend zeroes. Better use %3d. Look for example:
>
> $ x=$(printf "%03d\n" 19)
> $ echo $x
> 019
> $ echo $((x+1))
> -bash: 019: value too great for base (error token is "019")
>
I have tried both '%03d' and '%3d' locally, but used '%03d' at last.
190 passed, 021 skipped, 001 failed
190 passed, 21 skipped, 1 failed
Beside the calculate issue you pointed out, the 0 prefix although align
all of them with 'numbers' but also bring us some noises, filling the
left parts as whitespaces really looks better.
> Instead:
>
> $ printf "%3d\n" 19
> 19
> $ x=$(printf "%3d\n" 19)
> $ echo $x
> 19
> $ echo $((x+1))
> 20
>
> If you're fine with it I'll change your patch and commit message
> accordingly.
Ok, let's use '%3d' instead of '%03d'.
Thanks,
Zhangjin
>
> Willy
