#!/bin/bash if [ -f /home/$USER/.desktop_ubuntu_2204 ]; then while [ ! -f /media/$USER/RPI-RP2/INFO_UF2.TXT ]; do sleep 1 done set -e cargo run --release else sudo umount /mnt/usb while [ ! -f /mnt/usb/INFO_UF2.TXT ]; do sudo mount /dev/sda1 /mnt/usb -o umask=000 sleep 1 done set -e cargo run --release sudo umount /mnt/usb fi