From d9ff4d8de77474fc936a91f63b0d9dfaf96b1d1e Mon Sep 17 00:00:00 2001
From: Lillian-Violet <git@lillianviolet.dev>
Date: Mon, 12 Feb 2024 16:36:27 +0100
Subject: [PATCH] Add disko configuration (disable for the moment to not have
 EDI overwrite its disk)

---
 disko/EDI/{configuration.nix => default.nix} |  0
 flake.nix                                    | 20 +++++++++++++++++++-
 nixos/hosts/EDI/configuration.nix            |  2 ++
 3 files changed, 21 insertions(+), 1 deletion(-)
 rename disko/EDI/{configuration.nix => default.nix} (100%)

diff --git a/disko/EDI/configuration.nix b/disko/EDI/default.nix
similarity index 100%
rename from disko/EDI/configuration.nix
rename to disko/EDI/default.nix
diff --git a/flake.nix b/flake.nix
index ed6a712..0330ec0 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,12 +4,24 @@
   inputs = {
     # Nixpkgs
     nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
+
+    # Disko for declaratively setting disk formatting
+    inputs.disko.url = "github:nix-community/disko";
+
+    # Secret management with sops
     sops-nix.url = "github:Mic92/sops-nix";
+
+    # Simple mail server
     simple-nixos-mailserver.url = "gitlab:simple-nixos-mailserver/nixos-mailserver/master";
+
+    # Extra utils for flakes
     flake-utils.url = "github:numtide/flake-utils";
+
+    # Manage KDE plasma desktop configuration
     plasma-manager.url = "github:pjones/plasma-manager";
     plasma-manager.inputs.nixpkgs.follows = "nixpkgs";
     plasma-manager.inputs.home-manager.follows = "home-manager";
+
     # You can access packages and modules from different nixpkgs revs
     # at the same time. Here's an working example:
     nixpkgs-unstable.url = "github:nixos/nixpkgs/nixos-unstable";
@@ -24,7 +36,10 @@
     # Home manager
     home-manager.url = "github:nix-community/home-manager/master";
     home-manager.inputs.nixpkgs.follows = "nixpkgs";
+
+    # Fix for steam cursor not being visible under wayland
     extest.url = "github:chaorace/extest-nix";
+
     # Add any other flake you might need
     # hardware.url = "github:nixos/nixos-hardware";
 
@@ -85,6 +100,7 @@
           ./nixos/hosts/EDI/configuration.nix
           sops-nix.nixosModules.sops
           lanzaboote.nixosModules.lanzaboote
+          disko.nixosModules.disko
           home-manager.nixosModules.home-manager
           {
             home-manager.sharedModules = [plasma-manager.homeManagerModules.plasma-manager];
@@ -102,6 +118,7 @@
           ./nixos/hosts/GLaDOS/configuration.nix
           sops-nix.nixosModules.sops
           #lanzaboote.nixosModules.lanzaboote
+          disko.nixosModules.disko
           home-manager.nixosModules.home-manager
           {
             home-manager.sharedModules = [plasma-manager.homeManagerModules.plasma-manager];
@@ -118,6 +135,7 @@
           # > Our main nixos configuration file <
           ./nixos/hosts/queen/configuration.nix
           sops-nix.nixosModules.sops
+          disko.nixosModules.disko
           simple-nixos-mailserver.nixosModule
         ];
       };
@@ -142,7 +160,7 @@
           # make the module declared by the linger flake available to our config
           #linger.nixosModules."armv7l-linux".default
           #pihole.nixosModules."armv7l-linux".default
-
+          disko.nixosModules.disko
           # > Our main nixos configuration file <
           ./nixos/hosts/wheatley/configuration.nix
           sops-nix.nixosModules.sops
diff --git a/nixos/hosts/EDI/configuration.nix b/nixos/hosts/EDI/configuration.nix
index de5b0d9..6a10035 100644
--- a/nixos/hosts/EDI/configuration.nix
+++ b/nixos/hosts/EDI/configuration.nix
@@ -24,6 +24,8 @@
 
     ../../desktop
 
+    #../../../disko/EDI
+
     # Import your generated (nixos-generate-config) hardware configuration
     ./hardware-configuration.nix
   ];