caandt/nix-conf
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

coqtail

Browse source
This commit is contained in:
caandt 2025-03-11 20:52:10 -05:00
parent 208baf5b55
commit 675753b901
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
user/config/nvim/default.nix
View file

@ -24,6 +24,7 @@
bufferline-nvim bufferline-nvim
nvim-colorizer-lua nvim-colorizer-lua
lazydev-nvim lazydev-nvim
Coqtail
neorg neorg
(pkgs.vimUtils.buildVimPlugin { (pkgs.vimUtils.buildVimPlugin {
pname = "undotree"; pname = "undotree";
@ -46,7 +47,7 @@
lua-language-server lua-language-server
]; ];
withRuby = false; withRuby = false;
withPython3 = false; withPython3 = true;
withNodeJs = false; withNodeJs = false;
}; };
xdg.configFile."nvim/init.lua".text = "require('init')"; xdg.configFile."nvim/init.lua".text = "require('init')";

4
user/config/nvim/lua/u/bindings.lua
View file

@ -10,3 +10,7 @@ map('n', '<leader>h', '<cmd>sp<cr>', {desc = "split [H]orizontal"})
map('n', 'q:', '<nop>') map('n', 'q:', '<nop>')
map('n', '<leader>cd', vim.diagnostic.open_float, {desc = "[C]ode [D]iagnostic"}) map('n', '<leader>cd', vim.diagnostic.open_float, {desc = "[C]ode [D]iagnostic"})
map('n', 'x', '"_x') map('n', 'x', '"_x')
map('n', '<c-a-j>', '<cmd>CoqNext<cr>')
map('n', '<c-a-k>', '<cmd>CoqUndo<cr>')
map('i', '<c-a-j>', '<cmd>CoqNext<cr>')
map('i', '<c-a-k>', '<cmd>CoqUndo<cr>')