search

raspberrypi / pico-setup

92 stars 42 forks source link

Don't assume a Debian or Ubuntu based system #33

Closed LorenDB closed 5 months ago

LorenDB commented 5 months ago

As far as I can tell, this script should be easily adaptable to other package managers. I personally use openSUSE Tumbleweed, and I shouldn't have to manually tweak the script just because I wanted to use a rolling distro.

aallan commented 5 months ago

The script was written for Raspberry Pi OS, and intended to set up the Pico C SDK on our own hardware.

znmeb commented 5 months ago

@LorenDB I use a container-based tool called Distrobox (https://distrobox.it/) to run the Pico SDK on Fedora, using a Debian bookworm container. Distrobox is available in Tumbleweed, Arch and some other non-apt distros, but I settled on Fedora Silverblue because it's designed for containers. If there's interest I could do a blog post on the subject; the key advantage of a Distrobox solution is that host USB devices are accessible from inside the container.