Re: How to configure gitolite service?

["Marek Paśnikowski" <marek@marekpasnikowski.pl>]

Thank you.

I confused the last part of the SSH key file with how a PGP key has a corresponding email. 

I understand it now as the following:
The (plain-file ...) function is supposed to reflect the contents of the remote administrator's id_ed*.pub file.
I am not sure if the name files have to match too, but that is testable easily enough.

Email z Wtorek, 5 grudnia 2023 od Julien Lepiller:
> This is the public key that corresponds to the private key the admin uses to pull/push the configuration repo with:
> 
> git clone git@server:gitolite-admin
> 
> I don't understand why you talk about mail here, plain-file is a file-like object which creates a file in the store from a string. This is just the content of the pub key file. Here's what I use, where the pub key is available in the same directory as the guix configuration (typically, /etc/julien.pub):
> 
> (admin-pubkey (local-file "julien.pub"))
> 
> Le 5 décembre 2023 12:56:27 GMT+01:00, "Marek Paśnikowski" <marek@marekpasnikowski.pl> a écrit :
> >Dear all.
> >
> >I am in the process of setting up Gitolite.  My strategy is based on the principles of Test Driven Development.
> >
> >Following the system reconfiguration errors, I have questions regarding the minimal required code:
> >
> >(service gitolite-service-type
> >  (gitolite-configuration
> >    (admin-pubkey
> >      (plain-file "user.pub" "key" "mail"))))
> >
> >1. Which system user does the .pub file correspond to - git or (in my case) marek? In other words, is the key owner the /git/ account which serves the Gitolite instance; or is it the remote administrator account which logs into the service?
> >
> >If it is the /git/ user, how do I inject the private key into the server's profile?
> >
> >2. Does the mail address correspond to the same account as above?
>