Add coqtail for nvim

This commit is contained in:
Emi Simpson 2023-01-31 20:07:21 -05:00
parent c31ca05790
commit 4177ace1e8
Signed by: Emi
GPG key ID: A12F2C2FFDC3D847
2 changed files with 15 additions and 2 deletions

View file

@ -88,7 +88,7 @@
w3m w3m
]; ];
}; };
programs.neovim = import programs/neovim.nix pkgs; programs.neovim = import programs/neovim.nix {inherit pkgs lib;};
programs.gpg.enable = true; programs.gpg.enable = true;
programs.jq.enable = true; programs.jq.enable = true;
programs.tmux = { programs.tmux = {

View file

@ -1,5 +1,6 @@
with builtins; with builtins;
{pkgs, lib}:
let let
mkSettings = s: mkSettings = s:
concatStringsSep concatStringsSep
@ -73,8 +74,19 @@ let
{"KEY BINGINGS" = mkMappings mappings;} {"KEY BINGINGS" = mkMappings mappings;}
{"MANUAL SETTINGS" = extra;} {"MANUAL SETTINGS" = extra;}
]; ];
# Via https://gist.github.com/nat-418/d76586da7a5d113ab90578ed56069509
fromGitHub = ref: repo: pkgs.vimUtils.buildVimPluginFrom2Nix {
pname = "${lib.strings.sanitizeDerivationName repo}";
version = ref;
src = builtins.fetchGit {
url = "https://github.com/${repo}.git";
ref = ref;
};
};
in in
pkgs: { {
enable = true; enable = true;
plugins = with pkgs.vimPlugins; [ plugins = with pkgs.vimPlugins; [
editorconfig-nvim editorconfig-nvim
@ -88,6 +100,7 @@ pkgs: {
nvim-treesitter.withAllGrammars nvim-treesitter.withAllGrammars
nvim-ts-rainbow nvim-ts-rainbow
nvim-lspconfig nvim-lspconfig
(fromGitHub "HEAD" "whonore/Coqtail")
]; ];
extraConfig = mkConfig { extraConfig = mkConfig {
settings = { settings = {