Add scripts/burn-nixos.sh

1 files changed, 21 insertions, 0 deletions

diff --git a/scripts/burn-nixos.sh b/scripts/burn-nixos.sh
new file mode 100755
index 0000000..7518c1e
--- /dev/null
+++ b/scripts/burn-nixos.sh
@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+set -Eeuo pipefail
+
+NIXOS_URL="$1"
+USB_STICK="$2"
+ISO_PATH='/tmp/nixos.iso'
+
+yellow "Downloading NixOS ISO..."
+wget -O "${ISO_PATH}"     "${NIXOS_URL}"
+wget -O "${ISO_PATH}.sha256" "${NIXOS_URL}.sha256"
+diff <(sha256sum "${ISO_PATH}" | awk '{print $1}') <(awk '{print $1}' < "${ISO_PATH}.sha256") || {
+  red "SHA256 didn't match!"
+  exit 1
+}
+green "Done. SHA256 match."
+
+yellow "Writing ISO image to ${USB_STICK}. We'll need sudo for it..."
+umount "${USB_STICK}1" ||:
+ls -lahp --color "${ISO_PATH}"
+sudo dd if="${ISO_PATH}" of="${USB_STICK}" status=progress
+green "Done. You can remove the USB stick ${USB_STICK} with no unmounting required."