mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-17 06:59:56 -05:00
6101798c7a
Although the hdmi-output is in well_known_descriptions[] table, the hdmi device names are indexed (hdmi-output-0), thus there is no match to assign the proper type automatically. This patch puts the correct hdmi type to all relevant hdmi configuration files. Signed-off-by: Jaroslav Kysela <perex@perex.cz>
12 lines
195 B
Text
12 lines
195 B
Text
[General]
|
|
description = HDMI / DisplayPort 4
|
|
type = hdmi
|
|
priority = 56
|
|
eld-device = auto
|
|
|
|
[Properties]
|
|
device.icon_name = video-display
|
|
|
|
[Jack HDMI/DP]
|
|
append-pcm-to-name = yes
|
|
required = ignore
|