NixOS on ARM: Difference between revisions
imported>TobiasBora Add info about UART |
imported>Fdietze how to resize the boot partition |
||
| Line 217: | Line 217: | ||
<syntaxhighlight lang="bash">nixos-rebuild switch --fast --option binary-caches http://nixos-arm.dezgeg.me/channel --option binary-cache-public-keys nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%</syntaxhighlight> | <syntaxhighlight lang="bash">nixos-rebuild switch --fast --option binary-caches http://nixos-arm.dezgeg.me/channel --option binary-cache-public-keys nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%</syntaxhighlight> | ||
=== Resizing the boot partition === | |||
It is possible that you run out of disk space on the boot partition after some system upgrades. | |||
To resize the boot partition: | |||
* (If not already done, boot once to trigger the initial partition resizing) | |||
* Backup the files currently stored in the boot partition | |||
* Repartition and make sure to delete and then recreate the boot partition (fat32, primary, label: <code>NIXOS_BOOT</code>) | |||
* Copy the files from the backup back to the new boot partition | |||
(tested on the RPi 3) | |||
== Details about the boot process == | == Details about the boot process == | ||