gatoreducator / dockagator Goto Github PK
View Code? Open in Web Editor NEW:whale: Docker Image and Infrastructure to run GatorGrader and GatorGradle in an Assignment
License: GNU General Public License v3.0
:whale: Docker Image and Infrastructure to run GatorGrader and GatorGradle in an Assignment
License: GNU General Public License v3.0
The following command in the README file is incorrect:
docker run --rm --name dockagator \
-v "$(pwd)":/project \
-v "$HOME/.gatorgrader":/root/.local/share \
gatoreducator/dockagator
I think that the directory should be .dockagator
and not .gatorgrader
.
Finally, I like the idea of using .dockagator
instead of .gatorgrader
because that will distinguish between the directory used to store Docker-related details and the directory used to store an implementation of GatorGrader as created by the Gradle plugin.
Thanks for creating this material @Michionlion, it is exceptional. I should note that I am glad to make this proposed change and the change in issue #1 but I'm raising these issues as a reminder and to give me something to reference in the upcoming PRs.
The Travis CI badge in the README indicates that the build is currently failing. We should investigate why it is failing and resolve this issue so that the it passes and the badge is correct.
When I have previously tried to use variables like $HOME
and $pwd
as mentioned in the documentation, my experience is that they do not work correctly when you are running the suggested Docker commands in cmd
on Windows 10 Pro and Windows 10 Enterprise.
With that said, I have not had enough time to test this extensively and on all of the different shells and combinations of Windows-based operating system and shell.
Since I did not want to forget this concern, I thought to raise the issue now and to start a conversation about how it might be possible for us to write those commands in a more general fashion. Or, do we also need to provide example Windows commands that will work and instead use variables like %cd%
? Here is a reference:
https://stackoverflow.com/questions/921741/windows-equivalent-to-unix-pwd
Okay, let me know what you think @Michionlion! I'm glad to update the documentation in a PR if we can identify a general-purpose way to write the documentation commands that work either for MacOS and Linux or Windows 10 Pro and Windows 10 Enterprise.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.