Typographie des horaires - bot

#1

Hello,

Suite à ce vote, il est possible de modifier le bot pour qu’il intègre les correction de ce style :

 2 h             >> 2h
 2 h 15          >> 2h15
 2 h 15 - 2 h 30 >> 2h15 - 2h30

Cela impliquera que ces corrections seront appliquées par défaut sur les checks quotidiens, ainsi que dans les diverses opérations de nettoyage.

Par ailleurs, il existe environ 6000 docs qui contiennent ces espaces. Les dresseurs de bot peuvent mener une campagne ciblée afin de les corriger.

Cela va-t-il à tous le monde ?

3 Likes
#2

5 messages ont été déplacés vers un nouveau sujet : Digression sur les résultats du vote sur la typographie

#3

Je remet ici la partie de la réponse de @pulse :

#4

Bonjour !

Pourrais tu STP établir la liste (ids.txt) ?

#6

On a toujours la modif du type

45min >> 45 min

ce qui, allié à la nouvelle norme (1 h > 1h), donne par exemple (docs 55197, 55319) :

45 min - 1h

Quid ?
(quant à moi, on peut laisser comme tel)

#7

Et oui, quand on ne respecte pas les règles de typographie, on tombe sur tout un tas de contradictions. Faut-il écrire 1h45min ou 1h45 min ou 1h 45 min ou…Bref, pourquoi enlever l’espace pour uniquement l’unité h et pas toutes les autres ?Au bout de combien de contradictions sera-t-il décidé que finalement respecter les règles établies par les experts es typographie est mieux que se viander en reinventant l’eau tiède ?

2 Likes
#9

1h45 :wink:

4 Likes
#11

Si tu as du temps au milieu du Markdown (!), pourrais tu établir la liste (ids.txt) ?

#13

Il y a assez rapidement un blocage de la procédure clean (deux essais). Bon, ça peut attendre.

#14

ca dit quoi?

Edit : trouvé, je corrige