-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 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' - -- Benjamin Grande -----BEGIN PGP SIGNATURE----- iNUEARYKAH0WIQRklnEdsUUe50UmvUUbcxS/DMyWhwUCZG/uIF8UgAAAAAAuAChp c3N1ZXItZnByQG5vdGF0aW9ucy5vcGVucGdwLmZpZnRoaG9yc2VtYW4ubmV0NjQ5 NjcxMURCMTQ1MUVFNzQ1MjZCRDQ1MUI3MzE0QkYwQ0NDOTY4NwAKCRAbcxS/DMyW hz/RAP9GGdzvt8ImBFX0bFzn1QKV3GWsMqx13E5LfqNbHmNCZgD9GWts5snW9SH2 Cnz3dA5e//svcK1jFyncBov4CtbduQo= =qWF0 -----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/uHxpcnCtmimxD%40personal-mutt.