autostart coq use melange

nix/base-system/flake.nix

@@ -74,6 +74,7 @@
                 nix-develop-nvim
                 trouble-nvim
                 nightfox-nvim
+                melange-nvim
               ] ++ (with nvim-treesitter-parsers; [
                 rust
                 lua

nix/base-system/init.lua

@@ -1,17 +1,7 @@
 -- theming
 -- Default options
-require('nightfox').setup({
-  options = {
-    -- Compiled file's destination location
-    compile_path = vim.fn.stdpath("cache") .. "/nightfox",
-    compile_file_suffix = "_compiled", -- Compiled file suffix
-    transparent = false,     -- Disable setting background
-    terminal_colors = true,  -- Set terminal colors (vim.g.terminal_color_*) used in `:terminal`
-    dim_inactive = false,    -- Non focused panes set to alternative background
-    module_default = true,   -- Default enable value for modules
-  },
-})
-vim.cmd("colorscheme carbonfox")
+vim.opt.termguicolors = true
+vim.cmd.colorscheme 'melange'
 
 --https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md
 
@@ -83,6 +73,11 @@ set signcolumn=yes
 autocmd CursorHold * lua vim.diagnostic.open_float(nil, { focusable = false })
 ]])
 
+vim.cmd([[
+let g:coq_settings = { 'auto_start': 'shut-up', 'display.icons.mode': "none" }
+]])
+
+require("coq")
 --Set completeopt to have a better completion experience
 -- :help completeopt
 -- menuone: popup even when there's only one match

nix/darwin/flake.lock

@@ -34,12 +34,12 @@
       },
       "locked": {
         "lastModified": 1,
-        "narHash": "sha256-0RGMuP82J/U0JfCVuTlsNat4vIfjNQv9dw+qpGA8EWY=",
-        "path": "/nix/store/wi3k5hsf1ibbasdap31wbprp7f78bsjx-source/nix/base-system",
+        "narHash": "sha256-NlOk51ujCXm2QHrWO2DOmtVCUtzZOXas4pTW7g4fkTk=",
+        "path": "/nix/store/y4lmj3z90jh5ix429z2xq7n8my0fi7gq-source/nix/base-system",
         "type": "path"
       },
       "original": {
-        "path": "/nix/store/wi3k5hsf1ibbasdap31wbprp7f78bsjx-source/nix/base-system",
+        "path": "/nix/store/y4lmj3z90jh5ix429z2xq7n8my0fi7gq-source/nix/base-system",
         "type": "path"
       }
     },