Bug#929185: default soundfonts (was Re: gstreamer1.0-plugins-bad: no midi sound - gstreamer selects wrong soundfont by default)

2019-08-05 Thread Fabian Greffrath
Am Montag, den 05.08.2019, 11:44 + schrieb Thorsten Glaser: > can always use equivs or something. Go ahead ;-) Done, thanks! - Fabian signature.asc Description: This is a digitally signed message part

Bug#929185: default soundfonts (was Re: gstreamer1.0-plugins-bad: no midi sound - gstreamer selects wrong soundfont by default)

2019-08-05 Thread Thorsten Glaser
Fabian Greffrath dixit: >I think things would become at lot easier if I would let libfluidsynth1 >depend on "timgm6mb-soundfont | sf2-soundfont" instead of merely >recommending it. Does anything speak against this? No, that’s optimising for the common case, and the local admin can always use

Bug#929185: default soundfonts (was Re: gstreamer1.0-plugins-bad: no midi sound - gstreamer selects wrong soundfont by default)

2019-08-05 Thread Fabian Greffrath
Am Montag, den 20.05.2019, 21:38 + schrieb Thorsten Glaser: > it have any users in Depends)? Depending on it would make the > local soundfont slightly more difficult. (If it’s just Recommends, > no worries.) I think things would become at lot easier if I would let libfluidsynth1 depend

Bug#929185: default soundfonts (was Re: gstreamer1.0-plugins-bad: no midi sound - gstreamer selects wrong soundfont by default)

2019-05-21 Thread Fabian Greffrath
Thorsten Glaser wrote: > This (#929185) may also affect timidity, which has its own format, > but with a trivial config file can support any SF2 (at least, did > not try SF3) soundfont: I didn't even know this! I believed timidity was still bound to the pats format. > I’ve opened #920373

Bug#929185: default soundfonts (was Re: gstreamer1.0-plugins-bad: no midi sound - gstreamer selects wrong soundfont by default)

2019-05-20 Thread Tim Colgate
The related bug/issue in fluidity is: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929182 (wrong reference earlier in this thread) > Would users rather have no sound ... or bad sound I vote for bad sound. If there is no sound, there could be all sorts of reasons which can be very hard to

Bug#929185: default soundfonts (was Re: gstreamer1.0-plugins-bad: no midi sound - gstreamer selects wrong soundfont by default)

2019-05-20 Thread Thorsten Glaser
Dixi quod… >Hi Fabian and others, >>Debian. If we add these to the alternatives system to provide >Should we also make all packages providing an alternative for this >Provides some virtual package, for others to depend on? I’d suggest >sf2-soundfont and sf3-soundfont for naming, and SF3