Outils externes de l'éditeur pluma du bureau mate

Bonjour,

Décidément personne ne s'intéresse au bon fonctionnement de pluma sur Debian 8, à part moi. Je confirme une fois de plus: il y a quelque chose qui ne va pas dans le pluma qui s'installe à partir des dépôts de Debian Jessie: il est impossible d'activer le plugin des outils externes. Je viens d'essayer, une nouvelle fois, de le désinstaller et de le réinstaller, c'est toujours pareil.

Par contre, le pluma qui s'installe avec Linux Mint Debian edition, avec le bureau Mate, marche très bien et il est facile d'y adapter les outils Latex, Metapost et Asymptote de Christophe Grospellier et Denis Le Fur: il suffit, dans les scripts shell de ces outils, de remplacer partout GEDIT par PLUMA.

Le fait que Pluma installé avec Debian Jessie ne marche pas bien et que celui installé avec Linux Mint Debian edition fonctionne correctement est
d'autant plus incompréhensible que les dépôts de packages utilisés par Mint, à par un dépôt spécifique, sont ceux de Debian Jessie!

C.-M. M.

Outils externes de l'éditeur pluma du bureau mate