Raspberry Pi Firmware Update to use EV3IDE

In order to use the IDE, the Dexter firmware must first be updated. This is easy!

Plug everything in and obtain IP address

From your favorite SSH client (macOS and Linux can just use Terminal), run the following:
For Windows, you'll need an SSH client (why??). A popular option is PuTTy (https://www.putty.org/)

Update Firmware:

| >> ssh pi@IP_ADDR
| >> yes
| >> password: tuftsjumbo
| >> cd Dexter/GoPiGo3/Install
| >> sudo ./update_gopigo3.sh
| >> sudo reboot

Build IDE (this takes a while):

| >> ssh pi@IP_ADDR
| >> password: tuftsjumbo
| >> cd setup_ez3
| >> sudo ./setup_build.sh
| >> sudo reboot