Pico-setup The Raspberry Pi Pico toolchain setup script modified for PCs running Ubuntu, Debian or Mint etc. please see the comments at the top of the script. Supplied 'as is' etc. Use at your own risk.