bug#41235: guix deploy can't deploy with a user different than root

[Brice Waegeneire]

Hello Guix,

Brice Waegeneire <brice@waegenei.re> writes:

> When trying to reproduce another “guix deploy” bug for a future bug 
> report
> I stumbled upon this one: it's not possible to deploy as a user
> (machine-ssh-configuration-user) different than “root“, even with a
> properly configured sudoers file[0]. Deploying with root works when ssh 
> is
> configured with “PermitRootLogin yes”.

[...]

This isn't the case anymore.  I can now use "guix deploy" with a user having
passwordless sudo right, as documented in the manual.

Cheers,
- Brice