„Hilfe Diskussion:Syntaxhighlight“ – Versionsunterschied
Neuer Abschnitt →Pygments-Update-Rhytmus |
→Pygments-Update-Rhytmus: Antwort |
||
Zeile 41: | Zeile 41: | ||
Dann habe ich erstmal ausprobiert, ob <code>lean4</code> überhaupt geht und festgestellt: geht hier noch nicht. Ins Pygments-Change-Log geschaut und gesehen: ok, <code>lean4</code> gibt's erst seit heute -- also eigentlich kein großes Wunder, dass es hier noch nicht geht. |
Dann habe ich erstmal ausprobiert, ob <code>lean4</code> überhaupt geht und festgestellt: geht hier noch nicht. Ins Pygments-Change-Log geschaut und gesehen: ok, <code>lean4</code> gibt's erst seit heute -- also eigentlich kein großes Wunder, dass es hier noch nicht geht. |
||
Aber: Weiß man, wann damit zu rechnen ist, dass die Unterstützung auch hier ankommt? Sind es eher Tage oder eher Monate? --[[Benutzer:Daniel5Ko|Daniel5Ko]] ([[Benutzer Diskussion:Daniel5Ko|Diskussion]]) 21:36, 4. Mai 2024 (CEST) |
Aber: Weiß man, wann damit zu rechnen ist, dass die Unterstützung auch hier ankommt? Sind es eher Tage oder eher Monate? --[[Benutzer:Daniel5Ko|Daniel5Ko]] ([[Benutzer Diskussion:Daniel5Ko|Diskussion]]) 21:36, 4. Mai 2024 (CEST) |
||
:@[[Benutzer:Daniel5Ko|Daniel5Ko]] Heute wurde [[phab:T364249|Task364249]] erstellt und Patch [[gerrit:1027245|1027245]] geschrieben. Die Chancen stehen nicht schlecht, dass die Aktualisierung in 1-3 Wochen live geht. --[[Benutzer:Raymond|Raymond]] [[Benutzer Diskussion:Raymond|<sup>Disk.</sup>]] 21:47, 4. Mai 2024 (CEST) |
Version vom 4. Mai 2024, 21:47 Uhr
Füge neue Diskussionsthemen unten an:
Klicke auf , um ein neues Diskussionsthema zu beginnen.Zum Archiv |
Wie wird ein Archiv angelegt? |
Ich habe eine (wie ich finde) besser/schneller/leichter verständliche und vor allem dann auch leichter nachmachbare Version entwickelt, in: Benutzer:Steue/Syntaxhighlight #Könnte/Sollte.
Urteilt selbst.
Wem sie gefällt, der kann sie ja gerne kopieren.
Aber rechnen tue ich nicht damit.
Ich -- habe jedenfalls keine Lust, mir meine aufwendige Arbeit von ... zurücksetzen zu lassen.
Ping willkommen, Steue (Diskussion) 00:41, 19. Okt. 2022 (CEST)
Pygments-Update-Rhytmus
Hallo,
ich habe mich heute mal gefragt, ob Pygments inzwischens auch Lean4 unterstützt, und nicht nur Lean3 (die sind stellenweise syntaktisch doch recht verschieden). Und siehe da: Ja, als Sprachcodes gibt es inzwischen lean
, lean3
und lean4
, statt nur lean
. Zunächst wollte ich es einfach umseitig hinzufügen, habe mich aber entschieden, langsam zu machen.
Dann habe ich erstmal ausprobiert, ob lean4
überhaupt geht und festgestellt: geht hier noch nicht. Ins Pygments-Change-Log geschaut und gesehen: ok, lean4
gibt's erst seit heute -- also eigentlich kein großes Wunder, dass es hier noch nicht geht.
Aber: Weiß man, wann damit zu rechnen ist, dass die Unterstützung auch hier ankommt? Sind es eher Tage oder eher Monate? --Daniel5Ko (Diskussion) 21:36, 4. Mai 2024 (CEST)
- @Daniel5Ko Heute wurde Task364249 erstellt und Patch 1027245 geschrieben. Die Chancen stehen nicht schlecht, dass die Aktualisierung in 1-3 Wochen live geht. --Raymond Disk. 21:47, 4. Mai 2024 (CEST)