easier to switch names

This commit is contained in:
Robbe Derks
2022-12-06 15:14:13 +01:00
parent 6944dce8ef
commit d75c91eed1

View File

@@ -1,7 +1,7 @@
#!/bin/bash -e
cd "$(dirname "$0")"
scp output/boot.img tici:/tmp/
#scp output/snd-soc-*.ko tici:/usr/comma/sound/
#scp output/wlan.ko tici:/usr/comma
ssh tici "sudo dd if=/tmp/boot.img of=/dev/disk/by-partlabel/boot_a && sudo dd if=/tmp/boot.img of=/dev/disk/by-partlabel/boot_b && sudo reboot"
DEVICE=tici-ethernet
scp output/boot.img $DEVICE:/tmp/
ssh $DEVICE "sudo dd if=/tmp/boot.img of=/dev/disk/by-partlabel/boot_a && sudo dd if=/tmp/boot.img of=/dev/disk/by-partlabel/boot_b && sudo reboot"