Bash script for WSL to put Raspberry Pi Pico into BOOTSEL mode and copy .uf2 file over automatically

flash_pico

#!/usr/bin/bash

if [[ $1 == "-h" ]] || [[ $# -eq 0 ]]; then
    echo "Usage: flash_pico file.uf2 port drive";
    exit;
fi

# Serial command to trigger BOOTSEL mode
serialcmd="\$port= new-Object System.IO.Ports.SerialPort $2,1200,None,8,one
try {\$port.open()} catch {}"

# Only get first char
letter=${3:0:1}

upper=${letter^^}
lower=${letter,,}

powershell.exe -Command "$serialcmd"
sleep 1
sudo mount -t drvfs $upper: /mnt/$lower
cp $1 /mnt/$lower