- 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).
-
If you are using Windows, you probably need a terminal that you can use to start Vagrant. You can download: https://git-scm.com/downloads to download Git for Windows, which will also include a Bash Terminal. If you are using Mac or Linux already, then just open the Terminal app you already have.
-
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. If you are in the main directory of the Write-Up, run:
testing/test_all.sh
or
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. -
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.