Skip to content

Collection of personal NixOS configurations, Nix packages & modules

Notifications You must be signed in to change notification settings

Electrostasy/dots

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

dots

This repository contains a Nix flake for packages, NixOS modules & configurations across my various devices. This README is to be considered documentation for this flake and the managed devices.

The other sections describe what hosts are managed by this flake, the devices they are deployed to, and, where necessary, building, imaging, flashing and installation.

Hosts Overview

Caution

These configurations contain encrypted secrets managed by sops-nix and care should be taken when building and activating them.

Most of these configurations cannot be successfully activated on machines that do not have a /var/lib/sops-nix/keys.txt file containing the age private key corresponding to an age public key in the root .sops.yaml file.

The managed hosts and their descriptions are listed in the following table:

Hostname Device type Description
ceres Desktop Secondary PC at work
deimos Raspberry Pi Zero 2 W Klipper host for 3D printer
eris WSL Primary PC at work
luna Raspberry Pi Compute Module 4 NAS
mars FriendlyElec NanoPC-T6 LTS -
mercury Asus ROG Flow Z13 (2022) Personal/work laptop
phobos Raspberry Pi 4 Model B Dendrite Matrix homeserver
Headscale VPN
terra Desktop Primary PC at home
venus Lenovo ThinkPad X230 Tablet Personal laptop

Key Rotation Notes

The age private key is used for decrypting secrets encrypted with the public key on NixOS system activation. If the key is unavailable, you will not be able to login and certain services will not function correctly. The age private key has to be generated and placed in /var/lib/sops-nix/keys.txt before secrets can be decrypted or rotated. The age private key can be generated using the following command:

rage-keygen -o ~/keys.txt

In order to make key rotation easier, the following commands will re-encrypt all secret files in this repository, when executed from its root, using the new key:

SECRET_FILES_REGEX=$(REGEXES=($(rg 'path_regex: (.*)$' -Nor '$1' .sops.yaml)); IFS='|'; echo "(${REGEXES[*]})")
AGE_PUBLIC_KEY="$(rg '# public key: (.*)' -or '$1' /var/lib/sops-nix/keys.txt)"
AGE_PUBLIC_KEY_NEW="$(rg '# public key: (.*)' -or '$1' ~/keys.txt)"

fd --full-path "$SECRET_FILES_REGEX" -x sops rotate -i --add-age "$AGE_PUBLIC_KEY_NEW" --rm-age "$AGE_PUBLIC_KEY"

The public key in the .sops.yaml configuration file and the private key in /var/lib/sops-nix/keys.txt have to be updated manually.

Installation Guides

This section contains installation guides and documentation for certain devices managed by this flake, in the order of the table provided in the previous section.

Important

Some of the following hosts can be pre-installed via generated images. In order for NixOS activation to be successful, the age private key needs to be inserted into the image at the expected location of /var/lib/sops-nix/keys.txt.

A command is available to mount a partition and open a shell at its root in order to add, remove or change files:

nix run github:Electrostasy/dots#mountImage -- -i mars-sd-image*.img

deimos

The host deimos is a Raspberry Pi Zero 2 W, used for controlling the Original Prusa MK3S+ 3D printer flashed with Klipper firmware. It serves a Mainsail web interface for remote monitoring and management of the 3D printer.

Building the image

The NixOS SD image to be flashed can be built using the following command:

nix build github:Electrostasy/dots#deimosImage

Flashing the image

The NixOS SD image may be flashed to a selected microSD card using the following command:

dd if=deimos-image*.img of=/dev/sda bs=1M status=progress oflag=direct

luna

The host luna is a Raspberry Pi Compute Module 4 (CM4) mounted to an Axzez Interceptor carrier board, serving as Network Attached Storage.

Building the image

The NixOS SD image to be flashed can be built using the following command:

nix build github:Electrostasy/dots#lunaImage

Flashing the image

The NixOS SD image may be flashed to eMMC storage using the Raspberry Pi Compute Module 4 IO Board. The following is a set of steps in order to prepare the IO Board for flashing the CM4:

  1. Bridge the first set of pins on the 'J2' jumper to disable eMMC boot.

  2. Connect the IO Board with the host PC you will flash from using a micro USB cable.

  3. Power on the IO Board.

  4. Run rpiboot on the host PC to see eMMC storage as a block device:

    sudo rpiboot
  5. Flash the image to it:

    sudo dd if=luna-image*.img of=/dev/sda bs=1M status=progress oflag=direct
  6. Disconnect the micro USB cable from the host PC.

  7. Power off the IO Board.

  8. Detach the CM4 and attach it to your carrier board.

mars

The host mars is a FriendlyElec NanoPC-T6 LTS, currently unused.

The preferred way would be to flash both u-boot and the NixOS image to SPI and eMMC respectively, however, at the time of writing, due to limitations in rkdeveloptool, the open-source command line flashing tool developed by Rockchip as an alternative to the closed-source upgrade_tool, we cannot select between SPI and eMMC flash memory when flashing. Because of this, we build an installer image with u-boot included, and flash on the target system instead of externally over USB.

Building the image

The NixOS installer SD image to be flashed can be built using the following command:

NIXPKGS_ALLOW_UNFREE=1 nix build --impure github:Electrostasy/dots#marsImage

Flashing the image

The NixOS installer SD image may be flashed to a selected microSD card or USB flash drive using the following command:

dd if=mars-sd-image*.img of=/dev/sda bs=1M status=progress oflag=direct

Then, when it is booted, we can write u-boot to SPI flash and install NixOS to eMMC memory. The u-boot build suitable for SPI flash, provided in u-boot-rockchip-spi.bin, contains the miniloader idbloader.img and u-boot proper u-boot.itb files concatenated at their expected offsets.

In order to flash u-boot to SPI on a running system, use the following command:

flashcp -v -p u-boot-rockchip-spi.bin /dev/mtd0

In order to install NixOS to eMMC on a running system, you have to target /dev/mmcblk0 as the target installation device.

phobos

The host phobos is a Raspberry Pi 4 Model B, used to host the dendrite Matrix homeserver and the headscale coordination server for Tailscale VPN to link my devices together.

Building the image

The NixOS SD image to be flashed can be built using the following command:

nix build github:Electrostasy/dots#phobosImage

Flashing the image

Flash the SD image to a selected microSD card using the following command:

dd if=phobos-image*.img of=/dev/sda bs=1M status=progress oflag=direct