suite de mes recherches concernant le plugin audio/midi pour Iceweasel/Mozilla
Normalement le format midi devrait être supporté par moezplugger.
voici un extrait du fichier de config correspondant ( /etc/mozpluggerrc )
##################
### Audio ###
##################
audio/mid:midi,mid:MIDI audio file
audio/x-mid:midi,mid:MIDI audio file
audio/midi:midi,mid:MIDI audio file
audio/x-midi:midi,mid:MIDI audio file
controls noisy stream: timidity -Os "$file"
controls: playmidi "$file"
Bon, il y avait une petite erreur que j’ai corrigé par rapport à ma config son : j’ai mis comme vous le voyez ci-dessus les options " -Os" en place de “-Od” pour timidity.
La commande testée en console fonctionne parfaitement.
Par contre, bien qu’il soit installé, playmidi me sort le message d’erreur suivant :
$ playmidi HanterDro.mid
Playmidi 2.4 Copyright (C) 1994-1997 Nathan I. Laredo, AWE32 by Takashi Iwai
This is free software with ABSOLUTELY NO WARRANTY.
For details please see the file COPYING.
open /dev/sequencer: No such device or address
D’où la question, quel programme crée le device /dev/sequence ???
Cependant ce n’est pas ça qui résoudra le problème de mozplugger :
En effet, j’ai tenté quelques manipulations sur le fichier de conf évoqué plus haut, et rien de ce que j’ai fait (commenter tout ce qui concerne un média précis par exemple) ne se traduit au niveau de about:plugins dans Mozilla… :^(
(Y compris en faisant à chaque fois des dpkg-reconfigure de mozplugger et du navigateur.)
D’où une autre question : Où mozilla va chercher les infos concernant les plugins installés et (surtout) les formats supportés par ces plugins ?
De plus, cette fonction est-elle vraiment dynamique ?
Merci de vos suggestions,
Marcel