SELinux: colord vs. livecd-iso-to-disk.sh
You'd think those two things would be unrelated: one manages color
rendering profiles, the other builds a bootable USB stick from a .iso
file.
When I was running livecd-iso-to-disk.sh, SELinux popped up a warning.
The source process: /usr/libexec/colord
Attempted this access: read,search
On this directory: /media/tgttmp.d8es6p
Why does colord want to stick its nose into a USB stick?
If it is legit, why isn't that more clearly documented?
Perhaps here: <http://www.freedesktop.org/software/colord/specifics.html>
If it is legit, why doesn't SELinux allow this?
(A static rule might be difficult since the mount point's name seems to be
randomized.)
Context: I'm building a live USB stick for F19 on an F19 system.