summary refs log tree commit diff stats
path: root/users
diff options
context:
space:
mode:
Diffstat (limited to 'users')
-rw-r--r--users/sils/nixvim/config.nix4
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 = {