Change separator for WLR_DRM_DEVICES
Created by: ascent12
At some point recently, udev started adding /dev/dri/by-path
symlinks (similar to the disk ones) which provide a stable way to refer to DRM devices over reboots.
Unfortunately, these paths contain a colon character, referring to PCI bus ids:
/dev/dri/by-path/pci-0000:07:00.0-card
These colons mess with the way we separate the paths for multiple DRM devices.
It's much more preferable to use these symlinks instead of pointing to device nodes directly, so we need to do something to fix this. Ideas:
- Change the separator to something else like a comma. Would probably be fine, but not guaranteed to not cause issues again in the future.
- Introduce a way to escape colons. More complex processing and generally uglier strings required to be entered, as well as possibly interacting badly with a shells own escaping.
- Change the separator to actually be ":/". Seems too hacky, but the strings would look the same as they do now.
I'd probably just go with changing to a comma or semi-colon, unless someone else wants to input anything.