This repository bundles tools and code needed to start working with Raspberry Pi Pico development board.
Simply run:
curl https://raw.githubusercontent.com/mpsm/pico/main/pico-install.sh | bash
You can also clone the repo with submodules:
git clone --recurse-submodules https://github.com/mpsm/pico
and run the installation script manually:
./pico-install.sh
The script has been tested on Ubuntu 20.04.