[Intallation] mscore empêche les autres appli d'accéder au serveur son
Bonjour,
je suis sous ubuntu 12.04, et mscore monopolise le serveur son.
Je pensais que c'était lié à un problème avec oss et alsa, etc. Mais je ne maîtrise pas bien tout ça en fait.
J'ai apparemment trouvé une solution en complétant l'installation par l'installation du paquet gawk. En effet, en lançant mscore dans un terminal, j'avais un message d'erreur lié à un gawk absent. Du coup, j'ai installé, et ça semble résoudre le problème du monopole du serveur son.
Bref, j'ai ajouté des notes dans la documentation de mscore sur ubuntu-fr, mais si quelqu'un maîtrise et comprend un peu tout ça, il pourrait aider à rendre tout ça plus clair.
1/ Quel est le fond de la question concernant le monopole de pulseaudio par mscore?
2/ L'installation du paquet gawk résout-elle vraiment la question? Pourquoi? Gawk est-il une dépendance qui devrait être installée en même temps que mscore?
Merci à tous! Et merci aux devs de ce super logiciel!!! (Je suis musicien, je m'en sers tout le temps!)
Bonne journée
Commentaires
1/ Je peux pas trop répondre sur cette question. C'est probablement un problème de packaging. Peut être les gens de http://www.linuxmao.org/ ou le packager sur ubuntu ont plus d'infos sur cette question. Quelle version de MuseScore utilises tu? Il y a la version 1.3 dans le PPA : https://launchpad.net/~mscore-ubuntu/+archive/mscore-stable
2/ Je ne vois pas pourquoi Gawk serait lié à MuseScore. Gawk est l'implémentation gnu de awk http://en.wikipedia.org/wiki/AWK mais apparemment le paquet dépend maintenant de mawk et plus awk http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=667845
En réponse à 1/ Je peux pas trop répondre par [DELETED] 5
J'ai suivi tes messages sur uwiki, sans intervenir … car … je ne sais pas ce qu'est un serveur son
Mais je peux «essayer» à ta demande
la version 1.3 64 bits
et la version en développement (compilée par moi en 32 bits), sur
Mint14 64 , et Lubuntu 13.04
@lasconic
1/ Ok. Je n'y connais rien aux problématiques de packaging… Je suis pas sûr que je vais me motiver à reporter jusqu'aux packagers.
J'utilise effectivement la version 1.3 du PPA stable, et c'est donc avec cette version que j'ai le pb.
2/ Pour info, mawk était déjà installé auparavant. Et je ne sais pas trop à quoi sert gawk. En tout cas, en installant gawk, il y a une dépendance: libsigsegv2.
Vu ce que tu me disais, et que j'avais fait un sudo dpkg-reconfigure linux-sound-base dans la journée hier, j'avais un doute. Alors j'ai désinstallé gawk et libsigsegv2 pour voir. Et le pb est ré-apparu. J'ai ré-installé, et ça fonctionne à nouveau normalement.
Bref, le bug semble lié à gawk ou à libsigsegv2, d'une manière ou d'une autre.
@robert
Moi non plus je ne sais pas trop ce qu'est un serveur son en fait… Sur ubuntu en ce moment, le serveur son est pulseaudio. C'est le soft auquel les applications envoient du son, et qui redirige vers les périphériques matériels audio. Enfin, c'est comme ça que je le vois.
Mais du coup, ALSA là-dedans, je sais pas trop où ça se cale. :P
En tout cas, ne t'embête pas à installer quoi que ce soit pour tester! ;)
De toute façon, moi j'ai ma solution et ça fonctionne chez moi. Mon intention est surtout de compléter la doc pour les suivants qui seraient éventuellement confrontés au même bug, et de faire remonter l'info ici.