From 663b42ed47dbb8cdd5c40efe39bd71237e216b17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Cluseau?= <mcluseau@isi.nc>
Date: Fri, 29 Mar 2019 19:49:31 +1100
Subject: [PATCH] update boot

---
 update-boot.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 update-boot.sh

diff --git a/update-boot.sh b/update-boot.sh
new file mode 100755
index 0000000..000a5be
--- /dev/null
+++ b/update-boot.sh
@@ -0,0 +1,12 @@
+#! /bin/bash
+
+dls_url="$1"
+
+set -ex
+
+mount -o remount,rw /boot
+rm -fr /boot/previous ||true
+mv /boot/current /boot/previous
+curl $dls_url/me/boot.tar |tar xv -C /boot
+sync
+