From 1ecd4dfc0b16c4b7c153c4ed068651218f6c211d Mon Sep 17 00:00:00 2001 From: olaf Date: Mon, 23 Oct 2023 11:23:08 +0200 Subject: [PATCH 1/2] Update installing-nixos-on-a-raspberry-pi.md fix link to raspberry pi bootloader_update_stable --- source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md b/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md index 4a46b1e17..e4f9699b3 100644 --- a/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md +++ b/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md @@ -64,8 +64,7 @@ Once that command exits, **move the SD card into your Raspberry Pi and power it You should be greeted with a fresh shell! -In case the image doesn't boot, it's worth [updating the firmware](https://www.raspberrypi.org/documentation/computers/raspberry-pi.html#updating-the-bootloader) and booting the image again. - +In case the image doesn't boot, it's worth [updating the firmware](https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#bootloader_update_stable) and booting the image again. ## Getting internet connection Run `sudo -i` to get a root shell for the rest of the tutorial. From 0c7bb8e86cb97e9d0976db72d38b9140f4aa1021 Mon Sep 17 00:00:00 2001 From: olaf Date: Tue, 24 Oct 2023 11:53:31 +0200 Subject: [PATCH 2/2] Update source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md Co-authored-by: Yuki Langley --- source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md | 1 + 1 file changed, 1 insertion(+) diff --git a/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md b/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md index e4f9699b3..dc3438cb8 100644 --- a/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md +++ b/source/tutorials/nixos/installing-nixos-on-a-raspberry-pi.md @@ -65,6 +65,7 @@ Once that command exits, **move the SD card into your Raspberry Pi and power it You should be greeted with a fresh shell! In case the image doesn't boot, it's worth [updating the firmware](https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#bootloader_update_stable) and booting the image again. + ## Getting internet connection Run `sudo -i` to get a root shell for the rest of the tutorial.