18 lines
388 B
Bash
Executable File
18 lines
388 B
Bash
Executable File
#!/bin/bash
|
|
if [ -f /home/$USER/.desktop_gnome ]; 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
|