From b08c6f300f10a900d3a75012ed89771c1de66ef5 Mon Sep 17 00:00:00 2001
From: Jeremy Wall <jeremy@marzhillstudios.com>
Date: Wed, 19 Jul 2023 18:23:57 -0400
Subject: [PATCH] autostart coq use melange

---
 nix/base-system/flake.nix |  1 +
 nix/base-system/init.lua  | 19 +++++++------------
 nix/darwin/flake.lock     |  6 +++---
 3 files changed, 11 insertions(+), 15 deletions(-)

diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix
index a340352..e276e73 100644
--- a/nix/base-system/flake.nix
+++ b/nix/base-system/flake.nix
@@ -74,6 +74,7 @@
                 nix-develop-nvim
                 trouble-nvim
                 nightfox-nvim
+                melange-nvim
               ] ++ (with nvim-treesitter-parsers; [
                 rust
                 lua
diff --git a/nix/base-system/init.lua b/nix/base-system/init.lua
index b51ed96..dcd7b96 100644
--- a/nix/base-system/init.lua
+++ b/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
diff --git a/nix/darwin/flake.lock b/nix/darwin/flake.lock
index 0261478..982a7a2 100644
--- a/nix/darwin/flake.lock
+++ b/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"
       }
     },