From 1641a13ce396206a55b7c2d4b024900f36696c35 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:28:21 +0100 Subject: [PATCH 1/6] feat (cli): eza options --- home/cli.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/cli.nix b/home/cli.nix index 03d5e2c..a91e159 100644 --- a/home/cli.nix +++ b/home/cli.nix @@ -29,7 +29,7 @@ "o" = "xdg-open"; "update" = "sudo nixos-rebuild switch --flake ~/dev/nixos"; "rm" = "rm -i"; - "ls" = "eza"; + "ls" = "eza --git-ignore -ls type"; }; stateVersion = "25.11"; From d3d03a178c3b1373c3c809d4d0cccfcafcb1a2ae Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:28:21 +0100 Subject: [PATCH 2/6] feat (home/graphical): proton pass --- home/graphical.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/home/graphical.nix b/home/graphical.nix index 8d863ad..4b255bb 100644 --- a/home/graphical.nix +++ b/home/graphical.nix @@ -15,6 +15,7 @@ mattermost-desktop nerd-fonts.adwaita-mono newsflash + proton-pass protonmail-bridge-gui signal-desktop texliveFull From 67d54f0e87bc94ddc3b94941d6b85c4db9902328 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:28:21 +0100 Subject: [PATCH 3/6] feat (home/graphical): useless-gaps --- home/graphical.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/home/graphical.nix b/home/graphical.nix index 4b255bb..ba0d7b3 100644 --- a/home/graphical.nix +++ b/home/graphical.nix @@ -32,6 +32,7 @@ rounded-window-corners-reborn runcat tray-icons-reloaded + useless-gaps window-centering ]); From eedb90cb3706aaad16edad8443367a4612591e92 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:28:21 +0100 Subject: [PATCH 4/6] feat (packages/helix): lsp configs --- home/packages/helix/default.nix | 70 ++++++++++++++++++++++----------- 1 file changed, 48 insertions(+), 22 deletions(-) diff --git a/home/packages/helix/default.nix b/home/packages/helix/default.nix index cff82e7..6fe6d74 100644 --- a/home/packages/helix/default.nix +++ b/home/packages/helix/default.nix @@ -18,28 +18,32 @@ in keys.insert.j.k = "normal_mode"; }; languages = { - language-server.tinymist = { - config.exportPdf = "onSave"; - config.outputPath = "$root/$dir/out/$name"; - }; - language-server.scls = { - command = "simple-completion-language-server"; - config.feature_words = false; - config.feature_snippets = true; - config.snippets_first = true; - config.snippets_inline_by_word_tail = false; - config.feature_unicode_input = true; - config.feature_paths = false; - config.feature_citations = false; - environment.RUST_LOG = "info,simple-completion-language-server=info"; - environment.LOG_FILE = "/tmp/completion.log"; - }; - language-server.ocamllsp = { - command = "ocamllsp"; - args = [ "--fallback-read-dot-merlin" ]; - }; - language-server.menhir-lsp = { - command = "menhir-lsp"; + language-server = { + tinymist = { + config.exportPdf = "onSave"; + config.outputPath = "$root/$dir/out/$name"; + }; + scls = { + command = "simple-completion-language-server"; + config.feature_words = false; + config.feature_snippets = true; + config.snippets_first = true; + config.snippets_inline_by_word_tail = false; + config.feature_unicode_input = true; + config.feature_paths = false; + config.feature_citations = false; + environment.RUST_LOG = "info,simple-completion-language-server=info"; + environment.LOG_FILE = "/tmp/completion.log"; + }; + ocamllsp = { + command = "ocamllsp"; + args = [ "--fallback-read-dot-merlin" ]; + }; + menhir-lsp.command = "menhir-lsp"; + dafny-lsp = { + command = "dafny"; + args = [ "server" ]; + }; }; language = [ { @@ -58,6 +62,28 @@ in ]; scope = "source.menhir"; } + { + name = "ocaml"; + language-servers = [ + "scls" + "ocamllsp" + ]; + } + { + name = "dafny"; + file-types = [ "dfy" ]; + language-servers = [ "dafny-lsp" ]; + scope = "source.dafny"; + } + { + name = "zelus"; + file-types = [ + "zli" + "zls" + ]; + language-servers = [ "scls" ]; + scope = "source.ocaml"; + } ]; grammar = [ { From 70fa0672d417240caf5b2e18984b917f09adfb39 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:28:21 +0100 Subject: [PATCH 5/6] feat (shells/why3-dev): cleanup --- shells/why3-dev/flake.nix | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix index 06ebb8a..017cb55 100644 --- a/shells/why3-dev/flake.nix +++ b/shells/why3-dev/flake.nix @@ -13,7 +13,10 @@ { devShells."${system}".default = let - pkgs = import nixpkgs { inherit system; }; + pkgs = import nixpkgs { + inherit system; + config.allowUnfree = true; + }; menhir-lsp = pkgs.callPackage ./menhir-lsp.nix (pkgs // pkgs.ocamlPackages); in pkgs.mkShell { @@ -21,18 +24,20 @@ # Build elements autoconf ocaml - ocamlPackages.ocaml-lsp ocamlPackages.findlib ocamlPackages.menhir ocamlPackages.menhirLib ocamlPackages.zarith ocamlPackages.lablgtk3 ocamlPackages.lablgtk3-sourceview3 + ocamlPackages.camlzip - # Available provers - # alt-ergo + # Provers + alt-ergo cvc5 z3 + # Development tooling + ocamlPackages.ocaml-lsp menhir-lsp ]; }; From 5d4f09f4ab498f54731d43d7c0344ddbaa3e87b0 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 27 Feb 2026 14:28:21 +0100 Subject: [PATCH 6/6] chore: nix flake update --- flake.lock | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index 3354709..7802641 100644 --- a/flake.lock +++ b/flake.lock @@ -44,11 +44,11 @@ ] }, "locked": { - "lastModified": 1771744638, - "narHash": "sha256-EDLi+YAsEEAmMeZe1v6GccuGRbCkpSZp/+A6g+pivR8=", + "lastModified": 1774274588, + "narHash": "sha256-dnHvv5EMUgTzGZmA+3diYjQU2O6BEpGLEOgJ1Qe9LaY=", "owner": "nix-community", "repo": "home-manager", - "rev": "cb6c151f5c9db4df0b69d06894dc8484de1f16a0", + "rev": "cf9686ba26f5ef788226843bc31fda4cf72e373b", "type": "github" }, "original": { @@ -66,11 +66,11 @@ ] }, "locked": { - "lastModified": 1771243101, - "narHash": "sha256-p/qTbQU5wQEqbKWF8M0bZWuryUCrPsWrJB0GlNF1k6M=", + "lastModified": 1773876229, + "narHash": "sha256-ncup+eYqHABZzBgwfQzxOXWHIcjN4kkZl9QTb4cgNm8=", "owner": "nix-community", "repo": "NixOS-WSL", - "rev": "6d52ea6d66cb333c611c7b0e16dd24a05c9263e7", + "rev": "381bc12a25d49c6b798f98ab33a8d951ec54659b", "type": "github" }, "original": { @@ -82,11 +82,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1771714954, - "narHash": "sha256-nhZJPnBavtu40/L2aqpljrfUNb2rxmWTmSjK2c9UKds=", + "lastModified": 1774244481, + "narHash": "sha256-4XfMXU0DjN83o6HWZoKG9PegCvKvIhNUnRUI19vzTcQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "afbbf774e2087c3d734266c22f96fca2e78d3620", + "rev": "4590696c8693fea477850fe379a01544293ca4e2", "type": "github" }, "original": {