From d555cf5a34a312b84de4c03c843b7d8bd45aa245 Mon Sep 17 00:00:00 2001
From: Filippo Berto <filippo.berto@cern.ch>
Date: Mon, 1 Dec 2025 11:31:14 +0100
Subject: [PATCH] update(sif): switch gnome to cinnamon

---
 instances/sif/configuration.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/instances/sif/configuration.nix b/instances/sif/configuration.nix
index 768c1cf..cd4b0aa 100644
--- a/instances/sif/configuration.nix
+++ b/instances/sif/configuration.nix
@@ -27,7 +27,7 @@
   services = {
     desktopManager = {
       cosmic.enable = true;
-      gnome.enable = true;
+      # gnome.enable = true;
       # plasma6 = { enable = true; enableQt5Integration = true; };
     };
     displayManager = {
@@ -45,6 +45,7 @@
         layout = "us,it";
         options = "eurosign:e,terminate:ctrl_alt_bksp,compose:rctrl,grp:menu_toggle";
       };
+      desktopManager.cinnamon.enable = true;
     };
     libinput.enable = true;