Skip to content

Commit

Permalink
Update base images repo for manual docker config
Browse files Browse the repository at this point in the history
  • Loading branch information
ibrahima committed Aug 11, 2022
1 parent b4111a5 commit 441b7ec
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions docs/manual_docker.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
# Manual Docker Configuration

To use the "Manual Docker Configuration" option, you'll need to use
`gradescope/auto-builds` as the base image for your docker image.
You can also use the tags `fedora` or `centos`, or different versions of
Ubuntu - see the complete list [on DockerHub](https://hub.docker.com/r/gradescope/auto-builds/tags/).
`gradescope/autograder-base` as the base image for your docker image.
You can also use the tags `fedora` or `rocky-8`, or different versions of
Ubuntu - see the complete list [on DockerHub](https://hub.docker.com/r/gradescope/autograder-base/tags/).

Note: You can now also
[use different base images with a zip file upload](base_images).
Expand Down

0 comments on commit 441b7ec

Please sign in to comment.