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
