-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On Thu, May 25, 2023 at 11:24:15PM +0000, Ben Grande wrote: > On 23-05-26 00:57:04, Marek Marczykowski-Górecki wrote: > > On Thu, May 25, 2023 at 10:18:43PM +0000, Ben Grande wrote: > > > On 23-05-25 11:45:45, Demi Marie Obenour wrote: > > > > On Thu, May 25, 2023 at 10:54:48AM +0000, Ben Grande wrote: > > > > > If the parser can be packaged to DomUs, that would make linting > > > > > policies > > > > > from any qube possible. These are the dependencies I mapped: > > > > > > > > > > qrexec > > > > > __init__ > > > > > exc > > > > > utils > > > > > policy.parser > > > > > > > > > > See the imports at: > > > > > https://codeberg.org/ben.grande.b/qubes-tools/src/branch/main/qubes-policy-lint > > > > > > > > That should definitely be doable. > > > > That should already be the case, qubes-core-qrexec should be installed > > in domU too. > > Hum, on Fedora yes, on Debian, incomplete. > > Fedora - expect qrexec denied: > $ qubes-policy > Request refused > Command Failed > > Debian - unexpected module not found: > $ qubes-policy > Traceback (most recent call last): > File "/usr/bin/qubes-policy", line 2, in <module> > from qrexec.tools.qubes_policy import main > ModuleNotFoundError: No module named 'qrexec'
Ah, that looks like a missing dependency on python3-qrexec. - -- Best Regards, Marek Marczykowski-Górecki Invisible Things Lab -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEhrpukzGPukRmQqkK24/THMrX1ywFAmRv85gACgkQ24/THMrX 1yyligf9E9Y+fyLF7fmjT9q4e8qS00KYRDB9W5ocrwUvW5+hUCBZlBMlMb6g1uPX Tl+jvwIegV1ivTXt6qJk3Su4RGot/SlTJ1r/i+u0sokS4I+NGJ+2qWV1jxQEHDnb sou/p2156+ufo0dkAB2XOm3tR5QQSQ1ODMdtZsVnsrFtE9LYxAMje4aSWBab0LEs YIT8Ila5VQ9miRgJfcTjdcPXPkVBXEPsE0KwdoB1Fra/skwFR7zSPFmnVVVoh3e9 W+HR0umTm1YRSQ+mwyxajeoCWRwgywDXiUqOBun6Eg2EJM60EJc3wck3Ynd8Idrf 9NsgsJA0EJEJ/FNOl3PRO9fPTYzVxw== =bJVk -----END PGP SIGNATURE----- -- You received this message because you are subscribed to the Google Groups "qubes-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-devel/ZG/zmPw1sfbmeRkH%40mail-itl.