[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Migration potentielle de la liste
From: |
Denis Bitouzé |
Subject: |
Re: Migration potentielle de la liste |
Date: |
Thu, 19 Oct 2023 20:54:09 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Le 19/10/23 à 20h09, Jean Abou Samra a écrit :
> Le jeudi 19 octobre 2023 à 18:36 +0200, Denis Bitouzé a écrit :
>> Le lexer `lilypond` pour Pygments :
>> ┌────
>> │
>> https://github.com/pygments/pygments/blob/master/pygments/lexers/_lilypond_builtins.py
>> │
>> https://github.com/pygments/pygments/blob/master/pygments/lexers/lilypond.py
>> └────
>>
>> pourrait-il servir ?
>
> Oui, absolument (tiens, ça me rappelle des souvenirs — c'est moi qui
> l'ai écrit,
C'est bien ce qui me semblait ;)
> et suite à cela je suis devenu mainteneur de Pygments…).
Sans compter Lilypond !
> En revanche, personnellement, je n'ai pas l'énergie de faire la même
> chose pour highlight.js.
Je comprends. Mais n'y a-t-il pas moyen, dans Discourse, de s'appuyer
sur `Pygments` plutôt que sur `highlight.js` ?
> Mais vous voulez vous en charger, Denis, n'hésitez évidemment pas.
Ah, mais moi non plus, hein, je n'en ai pas l'énergie et, surtout, ni le
temps :)
--
Denis
Re: Migration potentielle de la liste, Bernard Meylan, 2023/10/17
- Re: Migration potentielle de la liste, Ya Gloops, 2023/10/17
- Re: Migration potentielle de la liste, Bruno Cornec, 2023/10/17
- Re: Migration potentielle de la liste, Ya Gloops, 2023/10/17
- Re: Migration potentielle de la liste, Jean Abou Samra, 2023/10/17
- Re: Migration potentielle de la liste, Ya Gloops, 2023/10/18