You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PlasTeX a été mis à jour (github ; pypi). À plusieurs endroit dans le code (exemple 1 ; exemple 2), nous avons contourné des bugs de PlasTeX, qui doivent avoir été résolus dans cette nouvelle version.
Question : supprime-t-on ces workarounds ?
C'est bien de le faire, pour profiter des évolutions de PlasTeX. Mais si on le fait, ça suppose que les utilisateurs doivent avoir la dernière version de PlasTeX d'installée. C'est facile s'ils utilisent pypi ; ça l'est moins s'ils utilisent une distribution qui n'est pas assez rapidement mise à jour.
Je penche plutôt pour supprimer ces workarounds : si l'utilisateur installe depuis pypi, ça marchera ; si quelqu'un package patacrep pour une distribution, il fera en sorte que plasTeX soit mis à jour sur cette même distribution, et voilà...
Qu'en pensez vous ?
PS : Je n'ai pas encore testé que ces modifications pouvaient effectivement être supprimées.
The text was updated successfully, but these errors were encountered:
PlasTeX a été mis à jour (github ; pypi). À plusieurs endroit dans le code (exemple 1 ; exemple 2), nous avons contourné des bugs de PlasTeX, qui doivent avoir été résolus dans cette nouvelle version.
Question : supprime-t-on ces workarounds ?
C'est bien de le faire, pour profiter des évolutions de PlasTeX. Mais si on le fait, ça suppose que les utilisateurs doivent avoir la dernière version de PlasTeX d'installée. C'est facile s'ils utilisent pypi ; ça l'est moins s'ils utilisent une distribution qui n'est pas assez rapidement mise à jour.
Je penche plutôt pour supprimer ces workarounds : si l'utilisateur installe depuis pypi, ça marchera ; si quelqu'un package patacrep pour une distribution, il fera en sorte que plasTeX soit mis à jour sur cette même distribution, et voilà...
Qu'en pensez vous ?
PS : Je n'ai pas encore testé que ces modifications pouvaient effectivement être supprimées.
The text was updated successfully, but these errors were encountered: