1
Fork 0
satellite/modules/applications/neovim.nix

73 lines
1.9 KiB
Nix
Raw Normal View History

{ pkgs, lib, paths, ... }:
2022-01-30 20:19:35 +01:00
let
paq = pkgs.fetchFromGitHub {
owner = "savq";
repo = "paq-nvim";
rev = "cbbb8a550e35b1e6c9ddf7b098b25e6c2d8b1e86";
sha256 = "0fsbww2kqwayi1azhglsjal6mwh68n03ylxxqzq17v7sar17vx4c";
2022-01-30 20:19:35 +01:00
};
2022-03-10 20:59:18 +01:00
theme = pkgs.myThemes.current;
2022-03-10 20:59:18 +01:00
extraPackages = with pkgs; [
# Language servers
# haskellPackages.agda-language-server # agda
nodePackages.typescript-language-server # typescript
easy-purescript-nix.purescript-language-server # purescript
sumneko-lua-language-server # lua
rnix-lsp # nix
haskell-language-server # haskell
2022-03-10 20:59:18 +01:00
# Formatters
luaformatter # lua
ormolu # haskell
prettierd # prettier but faster
2022-01-30 19:10:57 +01:00
# Others
wakatime # time tracking
fd # file finder
ripgrep # grep rewrite (I think?)
nodePackages.typescript # typescript language
update-nix-fetchgit # useful for nix stuff
tree-sitter # syntax highlighting
2022-01-30 19:10:57 +01:00
texlive.combined.scheme-full # latex stuff
python38Packages.pygments # required for latex syntax highlighting
];
2022-01-31 21:54:22 +01:00
myConfig = ''
vim.g.lualineTheme = ${theme.neovim.lualineTheme}
vim.opt.runtimepath:append("${paths.dotfiles}/neovim")
require("my.init").setup()
'';
base = pkgs.neovim-nightly;
neovim =
pkgs.symlinkJoin {
inherit (base) name meta;
paths = [ base ];
nativeBuildInputs = [ pkgs.makeWrapper ];
postBuild = ''
wrapProgram $out/bin/nvim \
--prefix PATH : ${lib.makeBinPath extraPackages}
'';
};
in
{
home-manager.users.adrielus =
{
home.file.".local/share/nvim/site/pack/paqs/start/paq-nvim".source = paq;
xdg.configFile."nvim/init.lua".text = myConfig;
xdg.configFile."nvim/lua/my/theme.lua".source = theme.neovim.theme;
home.packages = [
neovim
# idk why I need to install this here
vscode-langservers-extracted # css and shit
];
2022-02-10 00:19:52 +01:00
programs.neovim = {
enable = false;
};
};
2022-01-30 19:10:57 +01:00
}