Re: [qubes-devel] Re: qubes-policy-lint and qubes-policy-editor-terminal

2023-08-26 Thread Marek Marczykowski-Górecki
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

On Sat, Aug 26, 2023 at 06:40:32PM +0200, Marek Marczykowski-Górecki wrote:
> On Fri, Aug 25, 2023 at 04:52:52PM +0200, Marek Marczykowski-Górecki wrote:
> > On Mon, Aug 21, 2023 at 08:49:21PM +, Ben Grande wrote:
> > > On 23-08-20 14:01:53, Marek Marczykowski-Górecki wrote:
> > > > On Fri, Aug 11, 2023 at 02:17:00PM +, Ben Grande wrote:
> > > > > Status:
> > > > > - Missing change 'qubes-policy-editor' to 'qubes-policy-editor-gui';
> > > > 
> > > > https://github.com/QubesOS/qubes-desktop-linux-manager/pull/172
> > > > 
> > > > You can rename to plain qubes-policy-editor now.
> > > > 
> > > > While at it, please add new files to packaging
> > > > (debian/qubes-core-qrexec.install, rpm_spec/qubes-qrexec.spec.in). Right
> > > > now packages fail to build.
> > > > 
> > > > > - Missing review of the last commit quoted above.
> > > > 
> > > > The last commit looks fine.
> > > 
> > > Added files to packaging.
> > 
> > You missed files in python lib dir (qrexec/tools/qubes_policy_...) in
> > the spec file.
> 
> I see you added it, but as qrexec_policy_* instead of qubes_policy_*...

And also pylint complains...
See:
https://gitlab.com/QubesOS/qubes-core-qrexec/-/pipelines/982836773

> > Generally, the preferred workflow is through github pull requests - we
> > have CI configured there to catch issues like this. If you really hate
> > github, sending patches like this is okay too, but since it requires a
> > bit more manual work on my side (including pushing them to CI
> > manually...), it also takes some more time to get them merged.
> > 
> > > I believe in this case it is easier for you to pull from the 'lint'
> > > branch instead of applying the patches manually as multiple commits were
> > > done. If that is not the case, I will post the patches.
> > > 
> > > https://codeberg.org/ben.grande.b/qubes-core-qrexec/src/branch/lint
> > 
> > Yes, that's fine (but see above).

- -- 
Best Regards,
Marek Marczykowski-Górecki
Invisible Things Lab
-BEGIN PGP SIGNATURE-

iQEzBAEBCAAdFiEEhrpukzGPukRmQqkK24/THMrX1ywFAmTqK34ACgkQ24/THMrX
1yxtPwf/Z52Kt409yhkedY7gkhdHR7xH11IHLMGPYlBTc/RWhcExNgP5PMDtSW/K
Ab2P1MMZq3z4KbdkyDNjwNvuG70fQtlMLuyGi/2ITUiTFimQUUtE/1FUJD07X1+8
CPUUr0J27YiqkDs/zNCWH+TXFzj+tMi3AMEAdt3uEH9UbbS9d133CW9ao6deKxU9
TvTJPXgPrxaDPMHzmNGLwZZEy6SeRJ3tFW96WKU7eySN+5Qz4vlfcvjReT8BYgmS
/ZzTkTTFZs+jRcQIemnUyCqTB9S2G0skrCXtPVmx/NLJ70r22d1Rwaxq+dN86lCI
BnlgW66GfBZBBvfWeQl6eMimKES/wg==
=YRF9
-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/ZOorforYf%2Bq4I4e8%40mail-itl.


Re: [qubes-devel] Re: qubes-policy-lint and qubes-policy-editor-terminal

2023-08-26 Thread Marek Marczykowski-Górecki
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

On Fri, Aug 25, 2023 at 04:52:52PM +0200, Marek Marczykowski-Górecki wrote:
> On Mon, Aug 21, 2023 at 08:49:21PM +, Ben Grande wrote:
> > On 23-08-20 14:01:53, Marek Marczykowski-Górecki wrote:
> > > On Fri, Aug 11, 2023 at 02:17:00PM +, Ben Grande wrote:
> > > > Status:
> > > > - Missing change 'qubes-policy-editor' to 'qubes-policy-editor-gui';
> > > 
> > > https://github.com/QubesOS/qubes-desktop-linux-manager/pull/172
> > > 
> > > You can rename to plain qubes-policy-editor now.
> > > 
> > > While at it, please add new files to packaging
> > > (debian/qubes-core-qrexec.install, rpm_spec/qubes-qrexec.spec.in). Right
> > > now packages fail to build.
> > > 
> > > > - Missing review of the last commit quoted above.
> > > 
> > > The last commit looks fine.
> > 
> > Added files to packaging.
> 
> You missed files in python lib dir (qrexec/tools/qubes_policy_...) in
> the spec file.

I see you added it, but as qrexec_policy_* instead of qubes_policy_*...

> Generally, the preferred workflow is through github pull requests - we
> have CI configured there to catch issues like this. If you really hate
> github, sending patches like this is okay too, but since it requires a
> bit more manual work on my side (including pushing them to CI
> manually...), it also takes some more time to get them merged.
> 
> > I believe in this case it is easier for you to pull from the 'lint'
> > branch instead of applying the patches manually as multiple commits were
> > done. If that is not the case, I will post the patches.
> > 
> > https://codeberg.org/ben.grande.b/qubes-core-qrexec/src/branch/lint
> 
> Yes, that's fine (but see above).

- -- 
Best Regards,
Marek Marczykowski-Górecki
Invisible Things Lab
-BEGIN PGP SIGNATURE-

iQEzBAEBCAAdFiEEhrpukzGPukRmQqkK24/THMrX1ywFAmTqKwAACgkQ24/THMrX
1yxnoAf/RLmMwlq+Fr66zwiwfo35U5twb6v+IQ5f5rtNGj1AR4b+iRB96qTTOMRc
3gfUBCHp9m54aVXnO0xIHoTaLnVSgYR99WOTLOZYiGEBN66/gWdWvehpTbuTeXO7
aZ/9vnRJc0rX8vwcvUS76XZzUJezP1r49d2V/7dZW/uheVW38FWOGqkwekEwgz85
HT+I7JLPcytz76RU9Jxo8o8oWMv08f/BnJjPqP2kfq5NXZcdM8zsj8ZNdTNGwmNt
IWsY97NmWx3hH8mGEMtYWqBK/losDX2nEZE5lyGkU0cPdH4nr88QiyxVb7Z2Yqx+
hMB1G4GD337IItPPA4PLZIqK7HhmXQ==
=PvDd
-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/ZOorAEx3mpv02z67%40mail-itl.