From 9296c80bbce49adf175bb56d59ebf614b54ca190 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sat, 12 Sep 2020 14:45:10 +0200 Subject: tools/docker: mirror images on github Some users don't have access to the gcr.io registry. Mirror images on github as well. --- docs/contributing.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'docs/contributing.md') diff --git a/docs/contributing.md b/docs/contributing.md index 164af916d..158086eba 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -127,3 +127,16 @@ To update `syz-env` container to the latest version do: ``` bash docker pull gcr.io/syzkaller/env ``` + +If you do not have access to the `gcr.io` registry, there is also a mirror in `docker.pkg.github.com` registry. +In order to use it, you need to +[authenticate Docker](https://docs.github.com/en/packages/using-github-packages-with-your-projects-ecosystem/configuring-docker-for-use-with-github-packages) +with your Github account with: +``` +docker login https://docker.pkg.github.com +``` +and then pull the image and retag it to the name expacted by `syz-env`: +``` +docker pull docker.pkg.github.com/google/syzkaller/env +docker tag docker.pkg.github.com/google/syzkaller/env gcr.io/syzkaller/env +``` -- cgit mrf-deployment