lilypond-user-fr
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]