This solves an issue where the USB directory could exist, but the busnum file itself may not exist immediately. This was encountered when flashing a Pico connected to a Raspberry Pi 5. Signed-off-by: Jack Wakefield <jackwakefield@protonmail.com>
check_whitespace.py