Dockerize

[mfgamallo]

• Fix dependencies.sh so it works in Ubuntu 24.04
• Generate a Docker image per emulator: KLH10, SIMH, pdp10-ka, pdp10-kl and pdp10-ks.
• Increase timeout in lisp.tcl because half of the time the workflow would fail to build the image for KLH10
• Push images to GitHub Packages <-- WARNING! I only tested this in my repo!

[mfgamallo]

Ah, I can see it failed again

denied: installation not allowed to Create organization package

Right, I don't know enough about organizations. Let me see if I can create a testing organization local to me with which I can play to learn what needs to be done in order to be able to push to one 👍

[mfgamallo]

Ah, I can see it failed again

denied: installation not allowed to Create organization package

Right, I don't know enough about organizations. Let me see if I can create a testing organization local to me with which I can play to learn what needs to be done in order to be able to push to one 👍

Alternatively, I may end up just creating a free account in Docker Hub and upload the images there. Whatever is easier 🙂

[mfgamallo]

Hi! 👋 Sorry for the huge delay. I created an organization of my own and was able to push Docker images to it. I needed to enable Public Package Creation permission, though.
Can you tell me if that permission exists and is sett for PDP-10?
In particular, I'm looking for this section:

[mfgamallo]

Alternatively, Docker images can be uploaded to Docker Hub.

I run a test here and was able to download and execute the images like this

docker run -it --network=host manuf81/its-klh10:01ed9da84eac87497c8593b0c6b69d28ad9fb810

It will require setting up the credentials for the Docker Hub namespace (which I'm happy to facilitate / help creating a new one) as secrets in the repo.

I'm happy to raise a new PR if you think it's a good idea 🙂

[larsbrinkhoff]

Hello @mfgamallo,

I turned on public package creation for the PDP-10 organization. It's not clear to me exactly what kind packages these are, how they are created, and where they are publicly available. I'm reading this https://docs.github.com/en/packages/quickstart, but yours are not npm packages right?

[mfgamallo]

Hi @larsbrinkhoff

Awesome!
Exactly. For ITS we're not interested in npm packages, but rather in having a set of Docker images, one per emulator.

Having ITS available in a Docker repo (be it GitHub Packages or Docker Hub) will allow people to have a working ITS system in seconds just by typing something like the command in my other comment :-)

I don't think I can re-trigger the "Build Docker" actions in this PR. Can you do it for me?