Re: How to configure gitolite service?

[Marek Paśnikowski]

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?
>