Moin,
ich hatte auch unter Debian in Arduino 1.8.13 IDE in der Boardverwaltung
"Arduino Mbed OS RP2040 Bords" installiert, konnte aber auch nicht "uploaden".
Im englischen Forum habe ich dann folgendes gefunden:
Quote
I found this script in ~/.arduino15/packages/arduino/hardware/mbed_rp2040/2.0.0/post_install.sh
running it with sudo installs the rule then upload worked.
Habe dann als Root "./.arduino15/packages/arduino/hardware/mbed/2.0.0/post_install.sh" ausgeführt und neu gebootet (udev neu laden hätte wahrscheinlich gereicht).
Wenn man nun den Pico mit gedrückter Bootselect-Taste in die USB-Buchse steckt wird kein Port angezeigt, das "Uploaden" funktioniert jetzt aber.
Nach dem "Uploaden" verbindet sich der Pico automatisch mit /dev/ttyACM0.
Danach reicht für ein erneutes Uploaden ein Druck auf die Bootselect-Taste.
Außer "Blink" habe ich auch noch nichts getestet.