Remove coq

README.md

@@ -20,7 +20,6 @@ Color Scheme: [Tokyo Night](https://github.com/folke/tokyonight.nvim)<br>
 [neogit](https://github.com/NeogitOrg/neogit)<br>
 [gitsigns](https://github.com/lewis6991/gitsigns.nvim)<br>
 [tiny-inline-diagnostic](https://github.com/rachartier/tiny-inline-diagnostic.nvim)<br>
-[coq_nvim](https://github.com/ms-jpq/coq_nvim)<br>
 [nvim-autopairs](https://github.com/windwp/nvim-autopairs)<br>
 [Comment](https://github.com/numToStr/Comment.nvim)<br>
 [sleuth](https://github.com/tpope/vim-sleuth)<br>

config.nix

@@ -29,37 +29,6 @@
   clipboard.providers.xclip.enable = true;
 
   plugins = {
-    dashboard = {
-      enable = true;
-
-      settings = {
-        theme = "hyper";
-
-        config = {
-          header = [
-            "███╗   ██╗██╗██╗  ██╗██╗   ██╗██╗███╗   ███╗"
-            "████╗  ██║██║╚██╗██╔╝██║   ██║██║████╗ ████║"
-            "██╔██╗ ██║██║ ╚███╔╝ ██║   ██║██║██╔████╔██║"
-            "██║╚██╗██║██║ ██╔██╗ ╚██╗ ██╔╝██║██║╚██╔╝██║"
-            "██║ ╚████║██║██╔╝ ██╗ ╚████╔╝ ██║██║ ╚═╝ ██║"
-            "╚═╝  ╚═══╝╚═╝╚═╝  ╚═╝  ╚═══╝  ╚═╝╚═╝     ╚═╝"
-            ""
-          ];
-
-          shortcut = [
-            {
-              action = {
-                __raw = "function(path) vim.cmd('Telescope find_files') end";
-              };
-              desc = "Find Files";
-              key = "f";
-              icon = " ";
-            }
-          ];
-        };
-      };
-    };
-
     telescope = {
       enable = true;
 
@@ -136,17 +105,6 @@
       };
     };
 
-    coq-nvim = {
-      enable = true;
-      installArtifacts = true;
-
-      luaConfig.post = ''
-        vim.g.coq_settings = {
-          keymap = { jump_to_mark = "" },
-        }
-      '';
-    };
-
     nvim-autopairs.enable = true;
     sleuth.enable = true;
 
@@ -166,16 +124,15 @@
       };
     };
 
-
     mkdnflow = {
       enable = true;
 
       settings = {
         mappings = {
-          MkdnEnter = {
-            key = "<CR>";
-            modes = [ "n" "v" "i" ];
-          };
+          MkdnEnter = [
+            [ "n" "v" "i" ]
+            "<CR>"
+          ];
         };
       };
     };

flake.nix

@@ -33,6 +33,7 @@
 
         nvim = nixvim.legacyPackages.${system}.makeNixvimWithModule {
           module = nixvimModule;
+          inherit pkgs;
           extraSpecialArgs = {
             inherit inputs;
             light = false;
@@ -41,6 +42,7 @@
 
         nvim-light = nixvim.legacyPackages.${system}.makeNixvimWithModule {
           module = nixvimModule;
+          inherit pkgs;
           extraSpecialArgs = {
             inherit inputs;
             light = true;