Re: Sondage : comment techniquement gravez-vous vous partitions

[Olivier Miakinen]

Le 17/05/2019 00:17, Valentin Villenave a écrit :
> 
> (*tousse* "Linux" n’est _pas_ un OS *tousse*).

Oups ! Tu as raison, c'est GNU/Linux.

> [....]
> 
>> Quels plugins
> 
> Aucun. Par contre j’ai énormément de touches de raccourci pour
> Frescobaldi et pour mon environnement graphique (Sway).
> 
>> Usage d’un gestionnaire de source (git ou autre)
> 
> Git (pour mes propres partitions ainsi que pour contribuer à LilyPond).

J'ai oublié de répondre à ces deux points en ce qui me concerne :
- pas de plugin ;
- pas de gestionnaire de source.