If you had an issue during the quick setup, or if you want to know how it works, you're in the right place!
Beginner
Go to the official Arduino website, and download Arduino 1.8+.
Now, we need to setup two key elements to be able to program on your Gamebuino: the board and the libraries.
Copy the following address in "Additional Boards Manager URLs:". If you already have other URLs present, separate them with a comma ",": https://lab.gamebuino.com/arduino/package_gamebuino_index.json
or (alternatively) https://gamebuino.com/sdk/package_gamebuino_index.json
You can check "Show verbose output during compilation" and during "upload" to have more info about what is going on under the hood.
Click "OK"
Click on "Tools/Boards/Board Manager..."
Wait for the boards list to be updated. We will now download two boards
Search for "Arduino SAMD" and install it
Sit down and relax while it's downloading. You can check out the Creations and give a few likes to kill time :)
Click "Close"
Click on "Tools/Boards/Gamebuino META" (at the bottom of the list) to select the right device
Linux only: Give permission to the serial port with one of the following commands depending on your system, then log out and in again
sudo usermod -a -G uucp $USER
sudo usermod -a -G dialout $USER
Launch the Arduino IDE (if you closed it)
Click on "Sketch/Include Library/Manage Libraries"
Wait for the library list to be updated
Search for "Gamebuino META" and install it
Close your eyes, breathe deeply and think about the game you want to make while it's downloading.
Click on "Close"
If you have a Gamebuino, it's time to try out your first code!