Make the Dockerfile be a generated file

replit / polygott

Base Docker image for the Repl.it evaluation server

https://replit.com

MIT License

395 stars 103 forks source link

Make the Dockerfile be a generated file #208

Closed lhchavez closed 3 years ago

lhchavez commented 3 years ago

This change makes the Dockerfile be generated instead of hardcoded. This allows further customization and can make it so that we avoid some of the intermediate shell files.

replbot commented 3 years ago

unbooping: approved