On 5/24/23 12:35, Marek Marczykowski-Górecki wrote:
On Wed, May 24, 2023 at 10:29:07AM +0000, Ben Grande wrote:
> On 23-05-19 14:52:57, Marek Marczykowski-Górecki wrote:
>> Hi,
>>
>> Those look very useful!
>>
>> I have one comment to qubes-policy-edit-terminal: when using
>> policy_get() (or policy_include_get()), you get a policy content and a
>> token. Use that token in policy_replace() call to detect race
conditions
>> (when something else changes the same policy file in the meantime).
> Will add the token argument and let the exceptions handle the rest.
> Just one thing, the name "qubes-policy-editor-terminal" is non-ideal. I
> just added "terminal" to the name because "qubes-policy-editor" was
> taken by the GUI application implemented with:
> https://github.com/QubesOS/qubes-desktop-linux-manager/pull/143
> Can Qubes keep the standard of using "*-gui" for GUI applications?
> Some use, some doesn't. In short, I am asking for the Qubes Team to
> rename the current GUI app to qubes-policy-editor-gui, so the one
> provided by this thread can be named qubes-policy-editor.
Marta, what do you think? I think we can do that.
Sure.
--
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/d1a43a87-03a1-9e17-1f67-9f7ce4b8e0aa%40invisiblethingslab.com.
