Refactoring and addition of mpd

users/lyes/desktop/default.nix

@@ -6,6 +6,13 @@
       ./packages.nix
     ];
 
+  home-manager.users.lyes = { ... }: {
+    imports =
+      [
+        ./home.nix
+      ];
+  };
+
   # Keyboard
   hardware.keyboard.qmk.enable = true;
 

users/lyes/desktop/home.nix

@@ -0,0 +1,25 @@
+{ ... }:
+
+{
+  # Should activate that and translate things
+  # xdg.userDirs.enable = true;
+
+  services.mpd = {
+    enable = true;
+    musicDirectory = /home/lyes/Musique/MPD;
+    extraConfig =
+      ''
+        audio_output {
+          type            "pipewire"
+          name            "PipeWire Sound Server"
+        }
+
+        audio_output {
+          type            "fifo"
+          name            "mpd"
+          path            "~/.local/share/mpd/.mpd_fifo"
+          format          "44100:16:2"
+        }
+      '';
+  };
+}

users/lyes/desktop/packages.nix

@@ -36,7 +36,7 @@ in {
     element-desktop
     fractal
     zoom-us
-    cinny-desktop
+    # cinny-desktop
 
     # Image
     gimp
@@ -58,6 +58,7 @@ in {
     # Audio
     helvum
     local.quadcastrgb
+    euphonica
 
     # Games
     heroic
@@ -108,6 +109,9 @@ in {
     haskellPackages.Agda
     agdaPackages.standard-library
     elan
+    coq
+    coqPackages.vscoq-language-server
+    coqPackages.HoTT
 
     # Containers & VMs
     toolbox