- clo-devel - mailman3.common-lisp.net

Re: My new public key
by Marco Antoniotti 09 Jul '25

09 Jul '25

Yep. Got it. Thanks Marco On Wed, Jul 9, 2025 at 4:50 PM David Cooper <david.cooper(a)genworks.com> wrote: > Hi Marco, > > The official hostname is still `future.common-lisp.net` but this is now > the same machine as common-lisp.net. > > Only a few of the subdomains and related domains (cliki, abcl) are still > running on the old host. As well as mailing lists such as the one we are > using for this email thread. The old host can be reached at > legacy.common-lisp.net. > > Dave Cooper > > > > ---- On Wed, 09 Jul 2025 16:42:12 -0400 *Marco Antoniotti > <marco.antoniotti(a)unimib.it <marco.antoniotti(a)unimib.it>>* wrote --- > > Hi > > now I can login. It takes me to 'future.common-lisp.net. > > I guess that is fine. > > Thanks > > All the best > > Marco > > On Wed, Jul 9, 2025 at 4:37 PM Jon Boone <ipmonger(a)delamancha.org> wrote: > > > > -- > Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 > DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it > Viale Sarca 336 > I-20126 Milan (MI) ITALY > > REGAINS: https://regains.disco.unimib.it/ > > Ok, try now, please. > > —jon > > > On Wed, Jul 9, 2025 at 4:15 PM Marco Antoniotti < > marco.antoniotti(a)unimib.it> wrote: > > For remote shell. > > I think I can upload the key to Gitlab myself. > > Marco > > On Wed, Jul 9, 2025 at 3:33 PM Jon Boone <ipmonger(a)delamancha.org> wrote: > > Is this for remote shell or Gitlab ssh-based connections? > > — jb > On Jul 9, 2025 at 15:21 -0400, Marco Antoniotti < > marco.antoniotti(a)unimib.it>, wrote: > > > Hi guys... > > I finally got around to generating a new public key, which I attached > below. > > I know I will do something wrong. Please bear with me. > > Question. Should have I just used ssh-copy-id? > > All the best > > Marco > > > > > -- > > Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 > DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it > Viale Sarca 336 > I-20126 Milan (MI) ITALY > > > REGAINS: https://regains.disco.unimib.it/ > > > > > -- > Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 > DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it > Viale Sarca 336 > I-20126 Milan (MI) ITALY > > REGAINS: https://regains.disco.unimib.it/ > > > > -- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY REGAINS: https://regains.disco.unimib.it/

2 1

My new public key
by Marco Antoniotti 09 Jul '25

09 Jul '25

Hi guys... I finally got around to generating a new public key, which I attached below. I know I will do something wrong. Please bear with me. Question. Should have I just used ssh-copy-id? All the best Marco -- Marco Antoniotti, Professor, Director tel. +39 - 02 64 48 79 01 DISCo, University of Milan-Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY REGAINS: https://regains.disco.unimib.it/

2 4

Re: Do I have to do anything to get GitHub Mirroring?
by Robert Goldman 03 Jul '25

03 Jul '25

Thanks, Dave. Will do! On 3 Jul 2025, at 15:15, David Cooper wrote: > In gitlab, you can set up mirroring for a repository by opening the > menu on the left for the repository, then Settings -> Repository -> > Mirroring Repositories > > > It lets you set up a private/public keypair for it there on the fly > which you can then paste into github. Let me know if you can/can't get > it working. > > > > > Dave Cooper > > > > > > > > > ---- On Thu, 03 Jul 2025 15:56:58 -0400 Robert Goldman > <rpgoldman(a)sift.info> wrote --- > > > > I was just editing the README.md for the Iterate macro and it says > that the repo is mirrored on GitHub. There is a clone at > GitHub.com/lisp-mirror/iterate . Anyone know if this gets > automatically updated somehow? Or do I have to do it manually? > > Thanks, > R

1 0

Do I have to do anything to get GitHub Mirroring?
by Robert Goldman 03 Jul '25

03 Jul '25

I was just editing the README.md for the Iterate macro and it says that the repo is mirrored on GitHub. There is a clone at GitHub.com/lisp-mirror/iterate . Anyone know if this gets automatically updated somehow? Or do I have to do it manually? Thanks, R

1 0

Recent gitlab account requests...
by Jon Boone 03 Jul '25

03 Jul '25

Hi team, Is there any vetting process for gitlab account requests or do we just grant them to whomever asks for them? —jon

3 5

GitLab CI transient failures
by Robert Goldman 01 Jul '25

01 Jul '25

I really have no idea why this is happening, but on the ITERATE GitLab repo, I am getting those `shell not found` errors again. And what's really weird is that this is transient. After a failure I can re-run the tests and sometimes they will pass. This is all quite confusing. In the past, I have seen internet posts suggesting an issue with the GitLab conf that can be fixed by resetting the entry for the shell, which apparently tries to guess what shell to use based on the image. I don't see how that's compatible with this failure being transient, though. Best, R

1 0

Creating fork at gitlab.common-lisp.net
by Q H 08 May '25

08 May '25

Hi there, I have some patches to improve iterate's variable capture problem (issue #26), but I cannot create a fork to work on a merge request. The error is "Limit reached You cannot create projects in your personal namespace. Contact your GitLab administrator.” Can someone help? Thanks! Best, @kchanqvq

4 4

Re: I would like to contribute to the "SBCL Docker Images" project (gitlab.common-lisp.net/cl-docker-images/sbcl)
by Erik Huelsmann 05 May '25

05 May '25

Hi, I'm sorry to say that I have no idea how you can get access to that project: it's on GitHub, not on our common-lisp.net GitLab. You'll need to contact the owners of the GitHub project to get access, I'm afraid. Maybe someone on the mailing list knows how to help you with your request. Regards, Erik. On Mon, Apr 28, 2025 at 5:51 PM Marcelo Costa <themarcelor(a)gmail.com> wrote: > > Hi, > > I'd like to contribute to the SBCL Docker Images project to try to set up a better Docker image to support this other project: > https://github.com/ciel-lang/CIEL/pull/52#issuecomment-2563904450 > > > Kind regards, > -- > Marcelo Costa

1 0

Issue with build from merge request on gitlab.common-lisp.net
by Robert Goldman 03 Apr '25

03 Apr '25

For ASDF, I have a CI workflow that builds the documentation. This build fails on a merge request from another user. Here's the job: https://gitlab.common-lisp.net/NicoSimoski/asdf/-/jobs/89084 Here's the relevant error message: ``` Getting source from Git repository 00:01 Fetching changes... Initialized empty Git repository in /builds/NicoSimoski/asdf/.git/ Created fresh repository. fatal: unable to access 'https://gitlab.common-lisp.net/NicoSimoski/asdf.git/': The requested URL returned error: 500 ``` Any idea why this would be happening? Seems like the runner can't get at this fork, even though it's public. I don't have any difficulty seeing https://gitlab.common-lisp.net/NicoSimoski/asdf Is this something about GitLab runner permissions? Or does his fork need to have GitLab actions enabled? Thanks for any advice

2 1

TeX missing?
by Raymond Toy 31 Mar '25

31 Mar '25

I’m a bit confused here. According to this pipeline that was run on a branch <https://gitlab.common-lisp.net/cmucl/cmucl.common-lisp.dev/-/jobs/82062>, TeX is installed because I could build the cmucl docs which uses TeX to generate the pdf version. However, the pipeline on the master branch <https://gitlab.common-lisp.net/cmucl/cmucl.common-lisp.dev/-/jobs/82068> says TeX isn’t installed. And indeed when I ssh to gitlab.common-lisp.net, I can’t find latex, texi2dvi or any of the usual TeX binaries anywhere. Could I have TeX installed, please, if it’s not actually installed somewhere? -- Ray

2 2