Go to file
Andreas Zweili 4d4f6ce3df Add missing variable 2024-01-29 13:54:43 +01:00
home-manager Remove hyperbole from Emacs 2024-01-24 15:07:27 +01:00
lib Add overlay for freshrss 2024-01-08 19:38:41 +01:00
modules Create the initrd key during setup 2024-01-29 13:45:21 +01:00
scripts Add missing variable 2024-01-29 13:54:43 +01:00
scrts Switch from nixpkgs-fmt to nixfmt 2024-01-01 13:14:24 +01:00
systems Add f2fs to desktop systems 2024-01-10 22:03:54 +01:00
.editorconfig Extend editorconfig 2023-12-04 13:01:55 +01:00
.envrc Make the management scripts easier to use 2023-12-04 13:01:55 +01:00
.gitignore Ignore flycheck files 2023-11-08 20:02:10 +01:00
.gitmodules Add copilot 2023-12-13 14:56:21 +01:00
LICENSE Initial commit 2021-11-15 17:43:04 +01:00
README.md Extend README 2024-01-15 13:04:19 +01:00
flake.lock Update flake 2024-01-27 13:32:45 +01:00
flake.nix Add management profile to test-raspi 2024-01-09 21:57:51 +01:00
setup-shell.nix Finalise UEFI support for Raspberry Pi 4 2024-01-09 21:57:51 +01:00
shell.nix Add pylsp to nix-shell 2024-01-10 22:03:54 +01:00

README.md

nixos

This repository contains my configuration for my Nixos systems. I don't provide any garantuees that it will work on other systems. In addition some of the scripts required for installation will destroy your data when used.

Installation

  1. For Raspis it's the easiest if you prepare the SD card/disk on another system. For a PC you can just boot the installation ISO directly.
  2. For both devices you can format the disk/card with the following script sudo ./scripts/format-disk.sh. Make sure to edit it beforehand, to point it to the correct disk.
  3. Next install the system with sudo nixos-install --no-root-passwd --root /mnt/nixos --impure --flake .#SYSTEMNAME
  4. Rename the partitions with the script sudo ./scripts/rename-partitions.sh. With this script as well. Check that you're pointing to the correct disk.

When everything is finished you can reboot the system and remove the USB stick. You have now a fully encrypted NixOS system.

Additional script

  • If you only want to prepare an SD card with an UEFI partition for a Raspberry Pi 4 you can use the script sudo ./scripts/create-uefi.sh

Update remote systems

Simply run the script scripts/remote_switch.sh and it will iterate over all defined systems. With the option -r the systems will reboot as well.

Non-Nixos System

  1. scripts/install-home-manager.sh

Development

Options template

{ config, lib, pkgs, ... }:
let
  cfg = config.programs.NAME;
in
{
  options = {
    programs.NAME.enable = lib.mkEnableOption "DESCRIPTION";
  };

  config = lib.mkIf cfg.enable {
  };
}