diff options
author | Michael Catanzaro <mcatanzaro@gnome.org> | 2021-04-28 14:27:24 -0500 |
---|---|---|
committer | Michael Catanzaro <mcatanzaro@gnome.org> | 2021-04-28 14:27:24 -0500 |
commit | 97361ee6cb37741f8d28ff59aa3f9ee033ccdcb4 (patch) | |
tree | 30107c0fe6601aaa1c6d4d445583e38eaadeacb6 | |
parent | d8044d94ade34417e62a31d9cf2f8c162591c0d8 (diff) | |
download | epiphany-97361ee6cb37741f8d28ff59aa3f9ee033ccdcb4.tar.gz |
Rename run-docker.sh to run-podman.sh
-rw-r--r-- | .gitlab-ci/README.md | 6 | ||||
-rwxr-xr-x | .gitlab-ci/run-podman.sh (renamed from .gitlab-ci/run-docker.sh) | 0 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.gitlab-ci/README.md b/.gitlab-ci/README.md index 41dfd7559..95b222588 100644 --- a/.gitlab-ci/README.md +++ b/.gitlab-ci/README.md @@ -6,11 +6,11 @@ GitLab CI jobs run in a Docker image, defined here. To update that image (perhaps to install some more packages): 1. Edit `.gitlab-ci/Dockerfile` with the changes you want -2. Edit `.gitlab-ci/run-docker.sh` and bump the version in `TAG` -3. Run `.gitlab-ci/run-docker.sh` to build the new image, and launch a shell +2. Edit `.gitlab-ci/run-podman.sh` and bump the version in `TAG` +3. Run `.gitlab-ci/run-podman.sh` to build the new image, and launch a shell inside it * When you're done, exit the shell in the usual way -4. Run `.gitlab-ci/run-docker.sh --push` to upload the new image to the GNOME +4. Run `.gitlab-ci/run-podman.sh --push` to upload the new image to the GNOME GitLab Docker registry * If this is the first time you're doing this, you'll need to log into the registry diff --git a/.gitlab-ci/run-docker.sh b/.gitlab-ci/run-podman.sh index c83229c26..c83229c26 100755 --- a/.gitlab-ci/run-docker.sh +++ b/.gitlab-ci/run-podman.sh |