- If you don't already have a GitHub account, make one: https://github.com/join
-
Download VirtualBox: https://www.virtualbox.org/wiki/Downloads
-
Download Vagrant: https://www.vagrantup.com/downloads.html
-
Download the 1678 Vagrant configuration: https://github.com/frc1678/vagrant-box/archive/master.zip, and save it somewhere safe on your computer (you will use this a lot).
-
Setup the Vagrant virtual machine. Using your terminal / command prompt:
cd path/to/where/you/downloaded/vagrant-box/ vagrant up
This will take a while (~ 20 minutes) to setup. Then, you can run the command:
```
vagrant ssh
```
-
Make sure to setup your git name and email:
git config --global user.name "Your Name" git config --global user.email [email protected]
- On GitHub, fork this repository.
git clone
your fork to your virtual machine.- Write some code, and frequently
git commit
andgit push
. - Use the testing scripts to see how many tests pass:
ortesting/test_all.sh
testing/test_problem.sh [problem_name]
- Until either all the tests pass or your are satisfied, repeat steps 3 and 4.
- When you have semi-complete work that you would like to submit (you can submit unlimited times later too),
git push
your latest code, and then open a pull request to this repository from your fork. - Look at the README on this repository to see your semi-official scores (this should be updated automagically).
- At the due date, your fork will be cloned, and will be tested and looked through manually to ensure it is legit, and to give some human feedback on code structure.