diff options
Diffstat (limited to 'rpi2-debian-stdkernel/other_boot_files/vg-copy-rpi')
| -rwxr-xr-x | rpi2-debian-stdkernel/other_boot_files/vg-copy-rpi | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/rpi2-debian-stdkernel/other_boot_files/vg-copy-rpi b/rpi2-debian-stdkernel/other_boot_files/vg-copy-rpi new file mode 100755 index 0000000..a8eb53e --- /dev/null +++ b/rpi2-debian-stdkernel/other_boot_files/vg-copy-rpi @@ -0,0 +1,13 @@ +#!/bin/sh +set -eux +rootsource=$(findmnt -fno source -T /) +firmwaresource=$(findmnt -fno source -T /boot/firmware/) +if ! test x"$rootsource" = x"$firmwaresource"; then + cp --dereference /vmlinuz /boot/firmware/vmlinuz \ + || cp --dereference /vmlinuz.old /boot/firmware/vmlinuz + cp --dereference /initrd.img /boot/firmware/initrd.img \ + || cp --dereference /initrd.img.old /boot/firmware/initrd.img + ls -lah /vmlinuz /initrd.img > /boot/firmware/versions.txt \ + || ls -lah /vmlinuz.old /initrd.img.old > /boot/firmware/versions.txt +fi +exit 0 |