- 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.
Alex wuz here