diff options
-rw-r--r-- | users/sils/nixvim/config.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/users/sils/nixvim/config.nix b/users/sils/nixvim/config.nix index e534c36..0414960 100644 --- a/users/sils/nixvim/config.nix +++ b/users/sils/nixvim/config.nix @@ -57,7 +57,9 @@ pkgs: { }; coq-nvim = { enable = true; - autoStart = "shut-up"; + settings = { + auto_start = "shut-up"; + }; installArtifacts = true; }; dashboard = { |