In my '~/.bashrc' I have -
You can check that has worked for your username (mine is "pi") using -You will have to adjust '/pico/' if that's not where you have installed things, will have to decide if you want the default Raspberry Pi Pico SDK or PImoroni's.
Code:
export PICO_SDK_PATH=/home/${USER}/pico/pico-sdkexport PICO_EXAMPLES_PATH=/home/${USER}/pico/pico-examplesexport PICO_EXTRAS_PATH=/home/${USER}/pico/pico-extrasexport PICO_PLAYGROUND_PATH=/home/${USER}/pico/pico-playgroundCode:
pi@Pi4B:~ $ env | grep "PICO"PICO_EXTRAS_PATH=/home/pi/pico/pico-extrasPICO_SDK_PATH=/home/pi/pico/pico-sdkPICO_PLAYGROUND_PATH=/home/pi/pico/pico-playgroundPICO_EXAMPLES_PATH=/home/pi/pico/pico-examplesStatistics: Posted by hippy — Sun Jul 27, 2025 3:34 pm