diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2021-12-10 16:51:38 +0000 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2021-12-10 16:51:38 +0000 |
| commit | af7da3c514e5e9a758fdfd581e7780137c3f1fa9 (patch) | |
| tree | 179a57932a22c7b23e308a6c1cc0361087bd9176 | |
| parent | 20be04f7ac4a2081ce34768397873b7551e17c69 (diff) | |
| download | gtk+-af7da3c514e5e9a758fdfd581e7780137c3f1fa9.tar.gz | |
ci: Update run-docker script
Use the latest version from the main development branch.
| -rwxr-xr-x | .gitlab-ci/run-docker.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitlab-ci/run-docker.sh b/.gitlab-ci/run-docker.sh index ef0f56154e..c911e6afe1 100755 --- a/.gitlab-ci/run-docker.sh +++ b/.gitlab-ci/run-docker.sh @@ -32,7 +32,7 @@ while (($# > 0)); do list) list=1;; help) print_help=1;; --base|-b) read_arg base "$@" || shift;; - --base-version) read_arg base_version "$@" || shift;; + --version|-v) read_arg base_version "$@" || shift;; --no-login) no_login=1;; *) echo -e "\e[1;31mERROR\e[0m: Unknown option '$1'"; exit 1;; esac @@ -81,7 +81,7 @@ fi if [ -z $base_version ]; then base_version="latest" -else +elif [ $base_version != "latest" ]; then base_version="v$base_version" fi @@ -95,7 +95,7 @@ if [ ! -x "$(command -v docker)" ] || [ docker --help |& grep -q podman ]; then else echo "Using: Docker" format="" - CMD="sudo socker" + CMD="sudo docker" fi REGISTRY="registry.gitlab.gnome.org" |