On Fri, 26 Apr 2024 at 01:10, Sean Christopherson seanjc@google.com wrote:
On Mon, Apr 15, 2024, Brendan Jackman wrote:
[...]
function maybe_sudo () {
Any objection to do_sudo instead of maybe_sudo? I can fixup when applying if that works for you.
Sounds good to me :)