search

Raku / docker

Docker files for Rakudo Star
Artistic License 2.0
34 stars 22 forks source link

Not keeping up with Rakudo Star versions #57

Open AntonOks opened 5 months ago

AntonOks commented 5 months ago

@patrickbkr @Altai-man @m-dango @lizmat

Dear Rukuners.

Seems like providing recent Star docker images is a manual process, which is done "now and then". I would have some wishes:

  1. Please update docker image to the latest Star release.
  2. Please feel free to grant me admin / contributor / merge permissions in this repo here and I'll try to implement a GitHup workflow to keep the Docker images up2date on Docker hub...
  3. Once I'm "ready", I'll need to know and the permission to push to https://hub.docker.com/_/rakudo-star , I guess
cognominal commented 5 months ago

And update https://rakudo.org/star page accordingly :) Kthx.

m-dango commented 5 months ago

Apologies for the delay, a workflow would be welcome if this would be something that can be automated. I don't usually merge to this repo directly, I open a PR so that changes can be reviewed. I also update the underlying OS if the base image has been updated.

Updating the image on Docker Hub requires a pull request to make changes to the following file (after the image is updated here), we do not push to Docker Hub directly ourselves: https://github.com/docker-library/official-images/blob/master/library/rakudo-star

AntonOks commented 5 months ago

Apologies for the delay, a workflow would be welcome if this would be something that can be automated. I don't usually merge to this repo directly, I open a PR so that changes can be reviewed. I also update the underlying OS if the base image has been updated.

Updating the image on Docker Hub requires a pull request to make changes to the following file (after the image is updated here), we do not push to Docker Hub directly ourselves: https://github.com/docker-library/official-images/blob/master/library/rakudo-star which

@m-dango Thanks for coming back!

Ok, so as I understand, there are two pull requests to two different GitHub repos required for a new Star docker container on Docker hub:

  1. something similar like https://github.com/Raku/docker/pull/58/files to the Raku/docker repo
  2. and finally, something similar to https://github.com/docker-library/official-images/commit/6b900e394786f34b772b57d95bfbeea5d235b3e8 to the docker-library

Anything else, like documentation (?), is either auto-generated or unknown or not pert of the docker image updates...

m-dango commented 5 months ago

It may be worth reading the Docker Official Images documentation for more info: https://docs.docker.com/trusted-content/official-images/

The building of the official images happens in this repo, and as far as I'm aware, everything else (pushing these images to Docker Hub, documentation) is put forward to the Docker Official Images team.

The documentation displayed on Docker Hub can be found here: https://github.com/docker-library/docs/tree/master/rakudo-star

AntonOks commented 5 months ago

It may be worth reading the Docker Official Images documentation for more info: https://docs.docker.com/trusted-content/official-images/

The building of the official images happens in this repo, and as far as I'm aware, everything else (pushing these images to Docker Hub, documentation) is put forward to the Docker Official Images team.

The documentation displayed on Docker Hub can be found here: https://github.com/docker-library/docs/tree/master/rakudo-star

Thanks.

There is a nice FAQ describing how (Docker Hub) things work.... I wonder if there are additional to-do's on the Rakudo side of life...

AntonOks commented 4 months ago

And update https://rakudo.org/star page accordingly :) Kthx.

@cognominal

What (docker related ;) ) can I add / improve on https://rakudo.org/star exactly? Just asking.. because I tend to close this issue as "done"...