Samuel Thibault, le lun. 30 oct. 2023 18:35:03 +0100, a ecrit:
> Samuel Thibault, le dim. 29 oct. 2023 23:27:22 +0100, a ecrit:
> > Samuel Thibault, le ven. 27 oct. 2023 08:48:19 +0200, a ecrit:
> > > while [ "$(echo -n `echo internal/reflectlite.s-gox | sed -e
> > > 's/s-gox/gox/' ` )" = intern
Samuel Thibault, le dim. 29 oct. 2023 23:27:22 +0100, a ecrit:
> Samuel Thibault, le ven. 27 oct. 2023 08:48:19 +0200, a ecrit:
> > while [ "$(echo -n `echo internal/reflectlite.s-gox | sed -e
> > 's/s-gox/gox/' ` )" = internal/reflectlite.gox ] ; do : ; done
>
> For now, I could reproduce with