GitLab

Dans la discussion de #2134 (closed) :

-G n'est qu'un raccourci pour des options qui sont désormais très avancées (et qu'on avait mis à un moment où on n'avait pas encore de fichier .g.)

Indépendamment de #2134 (closed), j'ai une très forte envie de supprimer -G, qui est un peu bizarre et dépend des noms de fichiers. L'option recommandée serait -g, et on peut toujours faire -V / -D / -J (plus les réglages de graines et autres) si besoin. C'est l'occasion de le faire, comme avec la prochaine release on change la ligne de commande en raison du homo-sapiens.g.

@mikael-s ?