Update

users/lyes/common/default.nix

@@ -17,5 +17,6 @@
 
   environment.sessionVariables = {
     PASSWORD_STORE_ENABLE_EXTENSIONS = "true";
+    ROCQPATH = "/etc/profiles/per-user/lyes/lib/coq/9.0/user-contrib";
   };
 }

users/lyes/desktop/dconf.nix

@@ -143,7 +143,7 @@ with lib.hm.gvariant;
       focus-highlight-dominant = true;
       global-border-radius = 2;
       hotkeys-overlay-combo = "TEMPORARILY";
-      intellihide = false;
+      intellihide = true;
       panel-anchors = ''
         {"BOE-0x00000000":"MIDDLE"}
       '';

users/lyes/desktop/home.nix

@@ -10,6 +10,7 @@ let
         just-perfection
         vitals
         weather-oclock
+        background-logo
     ];
 in
 {
@@ -40,12 +41,17 @@ in
   # Default apps
   xdg.mimeApps = {
     enable = true;
+    associations.added = {
+      "x-scheme-handler/sms" = "org.gnome.Shell.Extensions.GSConnect.desktop;";
+      "x-scheme-handler/tel" = "org.gnome.Shell.Extensions.GSConnect.desktop;";
+    };
     defaultApplications = {
       "text/plain" = "org.gnome.TextEditor.desktop";
       "text/markdown" = "org.gnome.TextEditor.desktop";
       "text/json" = "org.gnome.TextEditor.desktop";
       "text/html" = "zen-beta.desktop";
       "text/xml" = "org.gnome.TextEditor.desktop";
+      "image/avif" = "org.gnome.Loupe.desktop";
       "image/png" = "org.gnome.Loupe.desktop";
       "image/jpeg" = "org.gnome.Loupe.desktop";
       "image/svg+xml" = "org.gnome.Loupe.desktop";

users/lyes/desktop/packages.nix

@@ -92,7 +92,8 @@ in {
     # Programming
     git
     git-lfs
-    vscode
+    # vscode
+    vscodium
     # zed-editor
     gcc
     rustup
@@ -100,7 +101,9 @@ in {
     ocaml
     ocamlPackages.ocaml-lsp
     ocamlPackages.ocamlformat
+    ocamlPackages.odoc
     opam
+    dune_3
     ledit
     nodejs
     nil
@@ -111,8 +114,15 @@ in {
     agdaPackages.standard-library
     elan
     coq
+    # rocq-core
+    # rocqPackages.stdlib
+    coqPackages.coq
+    coqPackages.stdlib
+    # coqPackages.HoTT
+    coqPackages.equations
+    coqPackages.metarocq
     coqPackages.vscoq-language-server
-    coqPackages.HoTT
+    numworks-udev-rules
 
     # Containers & VMs
     toolbox