Raspberry Pi

Refer: https://youtu.be/07vG-_CcDG0

You can refresh it by download a UF2 file, from here:
https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html

Circuit Python

Refer: https://circuitpython.org/board/raspberry_pi_pico/

Thonny

The IDE you are going to use is called Thonny, going with other recommendation of Circuit Python instead. Here are Thonny notes:

You will push the Raspberry Pi before plugging it in the first time and download the latest UF2 file for it.

The wrinkle that happened, is if you install Thonny from the repository, it DID NOT support MicroPython (Raspberry Pi Pico)

I followed the instructions here, and installed it via pip3 instead, and then setup a menulibre launcher.

Installed the binary instead, did not like how the command line version worked

bash <(wget -O - https://thonny.org/installer-for-linux)

pip3 install thonny

Refer: https://projects.raspberrypi.org/en/projects/getting-started-with-the-pico/0

This will restart the board and it will bootstrap and create a file and support folders, and it will rename the device as CIRCUITPY

The special file is "code.py", it will run automatically.