Hi Jon,
If you can get to it before I can, could you set up Jesse with a standard shell account please? (and also make sure he's set up with a gitlab account).
Dave Cooper
P.S. I set up restic on the host tonight and did a first restic backup, and I'm now upgrading the host to debian trixie (the new stable), so it might be less than fully responsive for a bit...
============ Forwarded message ============
From: Jesse Wiesenborn <jwiesenborn(a)gmail.com>
To: "David Cooper"<david.cooper(a)genworks.com>
Date: Thu, 14 Aug 2025 20:49:55 -0400
Subject: Re: Openmusic implementation
============ Forwarded message ============
That would be
☻a✿m❀a★z☆i❅n❆g♫!
Jess
On Thu, Aug 14, 2025 at 3:09 PM David Cooper < mailto:david.cooper@genworks.com > wrote:
I'd like us to get to push-button Lisp application deployments. But in the meantime, what if we set you up with an ssh shell account on the host?
Dave Cooper
---- On Wed, 13 Aug 2025 21:18:47 -0400 Jesse Wiesenborn < mailto:jwiesenborn@gmail.com > wrote ---
Hello,
I'd like to utilize the awesome, incredible, victory-inspiring power of Common Lisp to host an openMusic implementation on a Woo server. Trouble is... I don't have one!
Obviously I could do so on my own machine, but I'm about to lose my home
internet, and I don't know where the Lisp cloud is.
Would it be possible to use some hosting space from any of your resources? I did check out Gitlab but couldn't find any Lisp servers. I can check with the openMusic team itself but am skeptical about the ANSI compliance of their CL implementation.
Actually, the CL-WAV-Synth project on your site would be a great starting point, but it doesn't look like anybody's worked on that in about 18 years.
A few megabytes of web space with a fresh-out-of-the-box CL implementation would be amazing.
Thanks for your consideration!
Jesse W
http://wimpycat.com
Hi
Let me reiterate that I am very lazy. Therefore I ask here (and not and
AI) for help.
I know I did it in the past, but please walk me through it again or point
me to the right site.
I have a library. In the old days I had a 'docs' directory in the main one
and then I would generate (*) the documentation there. Now I need to shift
the documentation to the .dev web pages.
How exactly do I do that? Making sure I also have the YAML stuff working?
Thanks.
All the best
MA
(*) With HEΛP (https://helambdap.sf.net) of course.
--
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/
It looks like this was all set up earlier and has simply continued. I
just looked and some stuff I'd pushed to cl.net has made it to GitHub.
No idea how that happened, but if it ain't broke, I'm not going to try
to fix it!
Best,
R
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
On 7/9/25 6:17 PM, David Cooper wrote:
> Ray,
>
> I don't think it has (to have) anything to do with any of your
> existing keys. The gitlab interface gives you a new public key meant
> specifically for the mirroring instance, and you copy it with the
> clipboard icon in lower left of the image below ("Copy Public SSH Key").
I did that.
>
> You then paste that key as a normal SSH key into the Settings -> SSH
> Keys of the owning github account of the target repository (not deploy
> key -- i think deploy keys are normally read-only aren't they?)
I did that too. I must have made a mistake last time because github said
the key already existed. But I did it just now and there's an extra ssh
key that I just added. Wonder what I did wrong?
(I didn't know until now but there's a button that says deploy keys can
have write access.)
Anyway, I started the mirroring process again. Let's see how that goes...
Oh, in case any wants to know, the format of the url isn't really clear.
What I ended up using was ssh://rtoy@github.com/rtoy/cmucl.git
<https://rtoy@github.com/rtoy/cmucl.git>, since rtoy is my github uid. I
think; I didn't write it down and gitlab doesn't show it and there
doesn't seem to be any way to get it.
Thanks for your help!
​
Hi Ray,
It looks like your gitlab.clnet -> github mirror setup needs some configuration.
Let me know if you need any help on it on our end. As far as I know, the gitlab end of this can be configured from your repository page under Settings->Repositories->Mirrors. If you need a new keypair, I think the "add a mirror" page has an automatic way to generate one, such that you can copy/paste the public one into the target github repo.
Dave
============ Forwarded message ============
From: GitLab <gitlab(a)future.common-lisp.net>
To: <admin(a)common-lisp.net>
Date: Wed, 09 Jul 2025 19:06:15 -0400
Subject: cmucl | Remote mirror update failed
============ Forwarded message ============
A remote mirror update has failed.
Source project
https://gitlab.common-lisp.net/cmucl / https://gitlab.common-lisp.net/cmucl/cmucl
Remote mirror
ssh://*****@github.com/rtoy/cmucl.git
Last update at
2025-07-09 23:06:15 UTC
Logs may contain sensitive data. Please consider before forwarding this email.13:get remote references: create git ls-remote: exit status 128, stderr: "No ED25519 host key is known for github.com and you have requested strict checking.\r\nHost key verification failed.\r\nfatal: Could not read from remote repository.\n\nPlease make sure you have the correct access rights\nand the repository exists.\n".
—
https://gitlab.common-lisp.net/cmucl/cmucl/-/settings/repository#js-mirror-… .
You're receiving this email because of your account on https://gitlab.common-lisp.net . https://gitlab.common-lisp.net/-/profile/notifications · https://gitlab.common-lisp.net/help
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/
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/
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
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
