Open mateus-amarante opened 2 years ago
I realized the most valuable part of this package isn't the Docerk image but the run-devel.sh script. I think we should allow the user to run it against custom Docker images (they should probably have some minor requirements, though)
run-devel.sh
I realized the most valuable part of this package isn't the Docerk image but the
run-devel.sh
script. I think we should allow the user to run it against custom Docker images (they should probably have some minor requirements, though)