https://github.com/thecodesmith/dreddme
Command line utility for source code submission to Dredd
https://github.com/thecodesmith/dreddme
Last synced: 5 months ago
JSON representation
Command line utility for source code submission to Dredd
- Host: GitHub
- URL: https://github.com/thecodesmith/dreddme
- Owner: thecodesmith
- Created: 2014-09-14T07:15:31.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2015-10-27T22:07:19.000Z (over 10 years ago)
- Last Synced: 2025-01-31T07:32:47.540Z (over 1 year ago)
- Language: Tcl
- Homepage:
- Size: 172 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
DreddMe
=======
_University of Wisconsin - Eau Claire_
_CS 491: Programming Challenges_
_Author: Brian Stewart_
DreddMe is a command line utility to submit source code files to
[Dredd](http://dpl.cs.uwec.edu/operations/dredd/), the automated judge for
**CS 491: Programming Challenges**. Using the simple command
`dreddme ` from the console, a source code file can be submitted to
Dredd for judging. When the verdict is returned, it is printed to the console.
See below for details.
Installation
------------
To use this utility, clone the repo and add the directory to your `$PATH`
variable.
Clone the repository:
git clone https://github.com/thecodesmith/dreddme ~/tools/dreddme
Edit your `~/.bash_profile` and add the following line:
export PATH=~/tools/dreddme:$PATH
Save changes and exit. Load the new settings:
source ~/.bash_profile
Configure your Dredd settings by adding your **username** and
**authorization token** to `~/tools/dreddme/config.tcl`.
Usage
-----
If the `dreddme/` directory was added to your `PATH`, DreddMe can be called
like this:
dreddme
Example of submitting a file to Dredd:
dreddme test_00_hello.py
Output:
Posting:
File: test_00_hello.py
User: stewarbc
Token: 9863b147d355b32786aabc84e3e0914
Lang: Python
URL: http://dpl.cs.uwec.edu/operations/dredd/problem/test_00_hello
Verdict: Success
Important Notes
---------------
**File Names:** The source code file must be named the same as the problem it
is solving. For example, for problem "test_00_hello", the source file must be
named "test_00_hello.py" or "test_00_hello.java", depending on the language you
are using.
**Language:** The language you are using to solve the problem is deduced based
on the file extension.
Issues
------
If you run into any issues using `dreddme`, please let me know! Post an issue
here on GitHub and I'll be happy to look into it.