chore(typo): retire tous les tirets cadratins/demi-cadratins + garde CI

Remplace les 547 tirets cadratins (U+2014) et demi-cadratins (U+2013) des fichiers versionnés par la ponctuation contextuelle adaptée (point médian, deux-points, virgule, parenthèses ; tiret simple pour les plages), sur 122 fichiers (appli, vitrine, doc, tests, workflows, scripts). Ajoute le job CI « lint-dashes » (git grep -P) qui échoue si un tiret cadratin/demi-cadratin réapparaît, hors logo binaire et captures brutes du terminal (fidélité des fixtures de détection de dialogue).
2026-07-17 16:44:00 +02:00
parent 985531a986
commit 65ef616867
122 changed files with 538 additions and 521 deletions
@@ -35,7 +35,7 @@ const termLines = computed(() =>
  anim.value.lines.map((l) => ({ text: l.text, color: LINE_COLORS[l.k] ?? '#d4d4d8' })),
 );

-// Options du dialogue de permission — reproduit DialogPrompt (boutons numérotés + Deny).
+// Options du dialogue de permission : reproduit DialogPrompt (boutons numérotés + Deny).
 const dlgOptions = computed(() =>
  DLG_OPTS[locale.value as AppLocale].map((txt, i) => ({
    num: anim.value.ans === i ? '✓' : String(i + 1),