GitLab

@mikael-s : "introduit par 99f9172d, pas sûr qu'on s'en serve souvent"

On aurait pu s'en servir pour !412 (merged). Bref, deux solutions pour passer des arguments à vidjil-algo:

• should.py --extra=... (mais demande un EXTRA à la bonne place quand ce n'est pas la première + une gestion des 8 cas non vidjil-algo 91053f4c... qui pourraient être dans un autre répertoire) Peut être pris en charge par )
• should.py --var VIDJIL_DEFAULT_OPTIONS=... (et demande un VIDJIL_DEFAULT_OPTIONS à la bonne place partout, comme actuellement)

Modifie-t-on !412 (merged) pour la deuxième solution, ou prend-on la première solution et efface-t-on VIDJIL_DEFAULT_OPTIONS partout ? On pourrait dans ce cas renommer EXTRA en quelque chose de plus explicite, EXTRA_OPTIONS ou même DEFAULT_OPTIONS ?