Davideddu ha scritto:Scusa ma il problema non era che non riuscivate a rilevare il server audio utilizzato? Così aggirate questo problema... Oppure c'è qualcos'altro che non funziona che mi sono perso?
Possiamo giudicarla come una lacuna del sistema operativo, perché io ad esempio non ho ancora capito quale server (o gestore) audio sta utilizzando il mio sistema in questo momento, né da terminale, né in qualunque altro modo. L'idea messa in campo da mapreri la considero ottima, cioè scrivere un algoritmo che vada a tentativi per vedere come risponde il sistema. In pratica sarebbe una cosa del genere:
- Codice: Seleziona tutto
if ((ps -e|grep pulse|awk {'print $4'})=="pulseaudio")
audio_server = "pulseaudio"
if ((ps -e|grep alsa|awk {'print $4'})=="alsa")
audio_server = "alsa"
if ((ps -e|grep pulse|awk {'print $4'})=="jack")
audio_server = ""jack"
/* e avanti così...*/
switch (audio_server){
case "pulseaudio"
play_pulse()
case "alsa"
play_alsa()
case "jack"
play_jack()
default
error(server audio can not be recognize)
}
Il problema è che a me ps non restituisce niente con i tre casi citati
Quindi occorre trovare un sistema (comando) davvero efficace per farmi restituire un output 
Inoltre, come vorresti impostare la funzione che riproduce l'audio? 
Definite una funzione di riprod del suono 
). Ma il problema sopratutto è che non si può identificare un server in base al suono 
Ma quello che vogliamo fare ancora non è stato introdotto nel codice. Guarda le blueprint su launchpad 
