diff options
| author | sils <sils@sils.li> | 2024-03-25 17:15:46 +0100 |
|---|---|---|
| committer | sils <sils@sils.li> | 2024-03-25 17:15:46 +0100 |
| commit | 0c9884aa648d94f1f40e98c44a8d93fb33b1fd50 (patch) | |
| tree | ab152ffd4c2eb7755461a322f29234419ee87ed8 /users | |
| parent | nixvim: use new pluginstyle config for airline (diff) | |
| download | nix-config-0c9884aa648d94f1f40e98c44a8d93fb33b1fd50.tar.gz nix-config-0c9884aa648d94f1f40e98c44a8d93fb33b1fd50.zip | |
nixvim: use new pluginstyle config for coq-nvim
Diffstat (limited to '')
| -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 = { |