General discussion • Docker image for Pi Pico development

This Docker image provides a streamlined environment for Raspberry Pi Pico development on Raspberry Pi 4 and Pi 5 single board computers using Ubuntu and the ARM GNU toolchain.

Pull this docker image from the hub.docker.com website and search for m0uat/pico-dev. Leveraging Docker for development simplifies setup and ensures a consistent working environment.

Usage

To run the image with persistent storage in your development directory, use the following command:

docker run -v $(pwd)/dev:/pico-dev --rm -it m0uat/pico-dev

-v $(pwd)/dev:/pico-dev: Mounts the dev directory on your host for persistent storage.
--rm: Automatically removes the container upon exit.
-it: Runs the container in interactive mode with an attached terminal.

Compatibility

This Docker image is compatible with Raspberry Pi 64-bit systems and has been tested on ARM64 Ubuntu 24.04 server, but may work on Raspberry Pi OS and other ARM64 OS's. Ensure that you have Docker installed and running before proceeding.

Please try out this image and let me know of any problem or issues? Thanks

Regards
Ian

Statistics: Posted by m0uat — Mon Dec 02, 2024 2:47 pm — Replies 0 — Views 28

---