nvim: set xdg to true for coq
Anirudh Oppiliappan x@icyphox.sh
Tue, 26 Apr 2022 15:12:29 +0530
3 files changed,
4 insertions(+),
2 deletions(-)
M
config/nvim/lua/settings.lua
→
config/nvim/lua/settings.lua
@@ -101,6 +101,7 @@
-- coq.nvim g.coq_settings = { auto_start = 'shut-up', + xdg = true, display = { icons = { mode = 'none'
M
nix/hosts/wyndle/configuration.nix
→
nix/hosts/wyndle/configuration.nix
@@ -113,6 +113,7 @@ hardware = {
bluetooth = { enable = true; powerOnBoot = true; + disabledPlugins = [ "sap" ]; }; nvidia.prime = { offload.enable = true;
M
nix/programs/neovim.nix
→
nix/programs/neovim.nix
@@ -21,15 +21,15 @@ extraConfig = ''
runtime _init.lua ''; plugins = with pkgs.vimPlugins; [ + coq_nvim nvim-lspconfig (nvim-treesitter.withPlugins (_: pkgs.tree-sitter.allGrammars)) - coq_nvim playground vim-surround targets-vim vim-gitgutter vim-rsi - # nvim-treesitter-textobjects + nvim-treesitter-textobjects ]; }; }