What is the file name of “guix” when running in permissive mode? We
need to know this to adjust the policy.
After running `which guix` I get:
/usr/local/bin/guix
I tried to add another label for it but it didn't work. I was going to ask you for a good tutorial for writing the policies but I have just found
https://github.com/SELinuxProject/cil/wiki, I will read it the next days :)
I am attaching the diff file.