Added Arch linux support

This commit is contained in:
Christoffer Martinsson 2024-12-09 22:37:03 +01:00
parent 3479592a87
commit 3087cefb42

View File

@ -1,17 +1,36 @@
#!/bin/bash
if [ "$(dpkg -l | awk '/ubuntu-desktop/ {print }'|wc -l)" -ge 1 ]; then
while [ ! -f /media/$USER/RPI-RP2/INFO_UF2.TXT ]; do
sleep 1
done
set -e
cargo run --release
if [ -f /etc/os-release ]; then
. /etc/os-release
OS=$NAME
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
OS="none"
fi
if [ "$OS" == "Ubuntu" ]; then
if [ "$(dpkg -l | awk '/ubuntu-desktop/ {print }' | wc -l)" -ge 1 ]; 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
elif [ "$OS" == "Arch Linux" ]; then
sudo umount /mnt/usb
while [ ! -f /mnt/usb/INFO_UF2.TXT ]; do
sudo mkdir -p /mnt/usb
sudo mount /dev/sda1 /mnt/usb -o umask=000
sleep 1
done
set -e
cargo run --release
sudo umount /mnt/usb
fi