[pulseaudio-discuss] [PATCH] Add HDMI Surround 7.1 profiles

[Alexander E. Patrakov]

16.07.2014 19:47, David Henningsson wrote:
> My gut feeling would say that it would be okay to merge default.conf and
> extra-hdmi.conf, add the 7.1 profiles to the result, and add up to 8
> HDMI devices.
>
> What do you think?

I agree with the proposed end result, and volunteer to do this, but not 
as one patch. Feel free to squash them yourself. I will send out patches 
when they are ready.

One question that comes to mind (of course, to be solved by a separate 
patch!) is the excessive copy-paste that would result from adding 4 more 
HDMI profiles. I'd generate the conf files with a bash script (thus 
having access to common programming concepts such as variables and 
loops), but you may have a better idea.

-- 
Alexander E. Patrakov