From 0eb251c31c9bf7f3440f02a27ba8868e3614ba9c Mon Sep 17 00:00:00 2001
From: Ryan Lahfa <ryan.lahfa@numerique.gouv.fr>
Date: Fri, 14 Nov 2025 20:09:13 +0100
Subject: [PATCH] inventory/machine/PCALICE01: use an Cinnamon variant

Show end users how to customize the DE for a specific machine using the
newest Cinnamon PR.

Signed-off-by: Ryan Lahfa <ryan.lahfa@numerique.gouv.fr>
---
 common/default.nix               |  2 +-
 inventory/machines/PCALICE01.nix | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+), 1 deletion(-)
 create mode 100644 inventory/machines/PCALICE01.nix

diff --git a/common/default.nix b/common/default.nix
index 6a6991b..f12ca54 100644
--- a/common/default.nix
+++ b/common/default.nix
@@ -60,7 +60,7 @@
   # By default, Securix supports mostly KDE Plasma 6.
   # You can extend here to add more graphical interfaces.
   securix.graphical-interface = {
-    variant = "kde";
+    variant = lib.mkDefault "kde";
     terminalVariant = "kitty";
   };
 }
diff --git a/inventory/machines/PCALICE01.nix b/inventory/machines/PCALICE01.nix
new file mode 100644
index 0000000..860e999
--- /dev/null
+++ b/inventory/machines/PCALICE01.nix
@@ -0,0 +1,19 @@
+# SPDX-FileCopyrightText: 2025 Ryan Lahfa <ryan.lahfa@numerique.gouv.fr>
+#
+# SPDX-License-Identifier: MIT
+
+{
+  securix = {
+    self.mainDisk = "/dev/nvme0n1";
+    self.machine = {
+      hardwareSKU = "x280"; # It's actually a VM.
+      serialNumber = "PCALICE01";
+
+      users = [
+        "alice"
+      ];
+    };
+
+    graphical-interface.variant = "cinnamon";
+  };
+}