This repository contains the infrastructure needed to generate a Docker image that can run GatorGradle on an assignment or project.
Simply run ./build.sh
to generate a new image locally.
Execute the following docker run
command to start gradle grade
as a
containerized application.
docker run --rm --name dockagator \
-v "$(pwd)":/project \
-v "dockagator":/root/.local/share \
gatoreducator/dockagator
This will use "$(pwd)"
(the current directory) as the project directory and create
a Docker Volume for the GatorGrader installation; the project directory must exist
and contain something. To view the cache volume you can use an interactive container;
this can be used both to run back-to-back gradle grade
commands, or inspect
/root/.local/share
, which is where the volume is mounted.
docker run -it --rm --name dockagator \
-v "$(pwd)":/project \
-v "dockagator":/root/.local/share \
gatoreducator/dockagator /bin/bash