2023-04-25 15:35:09 +02:00
|
|
|
# TODO(imperanence): handle persistence of things like harpoon, lazy, etc
|
2023-11-11 06:55:14 +01:00
|
|
|
{ pkgs, lib, config, inputs, ... }:
|
2023-01-10 02:38:06 +01:00
|
|
|
let
|
2023-03-16 22:22:06 +01:00
|
|
|
# {{{ extraPackages
|
2023-01-10 02:38:06 +01:00
|
|
|
extraPackages = with pkgs; [
|
|
|
|
# Language servers
|
|
|
|
nodePackages.typescript-language-server # typescript
|
|
|
|
nodePackages_latest.purescript-language-server # purescript
|
2023-11-11 06:55:14 +01:00
|
|
|
lua-language-server # lua
|
2023-01-10 02:38:06 +01:00
|
|
|
rnix-lsp # nix
|
2023-04-13 19:06:57 +02:00
|
|
|
nil # nix
|
2023-06-15 20:08:20 +02:00
|
|
|
inputs.nixd.packages.${system}.nixd # nix
|
2023-01-10 02:38:06 +01:00
|
|
|
haskell-language-server # haskell
|
2023-09-28 02:13:35 +02:00
|
|
|
# REASON: marked as broken
|
|
|
|
# dhall-lsp-server # dhall
|
2023-01-10 02:38:06 +01:00
|
|
|
tectonic # something related to latex (?)
|
|
|
|
texlab # latex
|
2023-05-18 01:56:19 +02:00
|
|
|
nodePackages_latest.vscode-langservers-extracted # web stuff
|
|
|
|
python310Packages.python-lsp-server # python
|
|
|
|
pyright # python
|
2023-04-08 06:20:53 +02:00
|
|
|
rust-analyzer # rust
|
2023-11-11 06:55:14 +01:00
|
|
|
typst-lsp # typst
|
2023-01-10 02:38:06 +01:00
|
|
|
|
|
|
|
# Formatters
|
|
|
|
luaformatter # Lua
|
|
|
|
stylua # Lua
|
2023-03-30 02:54:57 +02:00
|
|
|
black # Python
|
|
|
|
yapf # Python
|
|
|
|
isort # Reorder python imports
|
2023-01-10 02:38:06 +01:00
|
|
|
nodePackages_latest.purs-tidy # Purescript
|
2023-02-02 01:33:12 +01:00
|
|
|
nodePackages_latest.prettier # Js & friends
|
2023-01-10 02:38:06 +01:00
|
|
|
nodePackages_latest.prettier_d_slim # Js & friends
|
2023-11-11 06:55:14 +01:00
|
|
|
typst-fmt # Typst
|
2023-01-10 02:38:06 +01:00
|
|
|
|
2023-03-30 02:54:57 +02:00
|
|
|
# Linters
|
|
|
|
ruff # Python linter
|
|
|
|
mypy # Python typechecking
|
|
|
|
|
|
|
|
# Languages
|
2023-01-10 02:38:06 +01:00
|
|
|
nodePackages.typescript # typescript
|
2023-03-30 02:54:57 +02:00
|
|
|
lua # For repls and whatnot
|
2023-01-10 02:38:06 +01:00
|
|
|
wakatime # time tracking
|
2023-04-08 06:20:53 +02:00
|
|
|
rustfmt
|
2023-03-30 02:54:57 +02:00
|
|
|
|
|
|
|
# Others
|
2023-01-10 02:38:06 +01:00
|
|
|
fd # file finder
|
|
|
|
ripgrep # Grep rewrite
|
|
|
|
update-nix-fetchgit # Useful for nix stuff
|
|
|
|
tree-sitter # Syntax highlighting
|
|
|
|
libstdcxx5 # Required by treesitter aparently
|
2023-03-30 02:54:57 +02:00
|
|
|
python310Packages.jupytext # Convert between jupyter notebooks and python files
|
2023-04-17 15:19:41 +02:00
|
|
|
graphviz # For rust crate graph
|
2023-09-22 20:08:11 +02:00
|
|
|
haskellPackages.hoogle # For haskell search
|
2023-03-30 02:54:57 +02:00
|
|
|
|
|
|
|
# Preview
|
2023-01-10 02:38:06 +01:00
|
|
|
zathura # Pdf reader
|
|
|
|
xdotool # For zathura reverse search or whatever it's called
|
2023-05-18 01:56:19 +02:00
|
|
|
glow # Md preview in terminal
|
2023-01-10 02:38:06 +01:00
|
|
|
pandoc # Md processing
|
2023-05-18 01:56:19 +02:00
|
|
|
libsForQt5.falkon # Needed for one of the md preview plugins I tried
|
2023-01-10 02:38:06 +01:00
|
|
|
|
2023-05-18 01:56:19 +02:00
|
|
|
# Latex setup
|
2023-01-10 02:38:06 +01:00
|
|
|
texlive.combined.scheme-full # Latex stuff
|
|
|
|
python38Packages.pygments # required for latex syntax highlighting
|
2023-04-25 15:35:09 +02:00
|
|
|
sage
|
|
|
|
sagetex # sage in latex
|
2023-02-19 02:41:22 +01:00
|
|
|
|
2023-03-30 02:54:57 +02:00
|
|
|
# required for the telescope fzf extension
|
|
|
|
gnumake
|
|
|
|
cmake
|
|
|
|
gcc
|
|
|
|
|
2023-02-19 02:41:22 +01:00
|
|
|
# Required by magma-nvim:
|
|
|
|
# python310Packages.pynvim
|
|
|
|
# python310Packages.jupyter
|
2023-12-04 06:25:00 +01:00
|
|
|
] ++ config.satellite.neovim.generated.dependencies;
|
2023-03-16 22:22:06 +01:00
|
|
|
# }}}
|
|
|
|
# {{{ extraRuntime
|
2023-12-02 06:04:57 +01:00
|
|
|
extraRuntimePaths = env: [
|
2023-01-22 01:22:38 +01:00
|
|
|
# Base16 theme
|
|
|
|
(pkgs.writeTextDir
|
|
|
|
"lua/nix/theme.lua"
|
2023-04-01 21:29:47 +02:00
|
|
|
config.satellite.colorscheme.lua
|
|
|
|
)
|
2023-01-22 01:22:38 +01:00
|
|
|
|
|
|
|
# Provide hints as to what app we are in
|
|
|
|
# (Useful because neovide does not provide the info itself right away)
|
|
|
|
(pkgs.writeTextDir
|
|
|
|
"lua/nix/env.lua"
|
|
|
|
"return '${env}'"
|
|
|
|
)
|
2023-12-02 06:04:57 +01:00
|
|
|
|
|
|
|
# Experimental nix module generation
|
|
|
|
config.satellite.neovim.generated.all
|
2023-01-10 02:38:06 +01:00
|
|
|
];
|
2023-12-02 06:04:57 +01:00
|
|
|
|
|
|
|
extraRuntime = env:
|
|
|
|
let
|
|
|
|
generated = pkgs.symlinkJoin {
|
|
|
|
name = "nixified-neovim-lua-modules";
|
|
|
|
paths = extraRuntimePaths env;
|
|
|
|
};
|
|
|
|
|
|
|
|
snippets = config.satellite.dev.path "home/features/neovim/snippets";
|
|
|
|
in
|
|
|
|
lib.concatStringsSep "," [ generated snippets ];
|
2023-03-16 22:22:06 +01:00
|
|
|
# }}}
|
|
|
|
# {{{ Client wrapper
|
2023-01-10 02:38:06 +01:00
|
|
|
# Wraps a neovim client, providing the dependencies
|
|
|
|
# and setting some flags:
|
|
|
|
#
|
|
|
|
# - NVIM_EXTRA_RUNTIME provides extra directories to add to the runtimepath.
|
|
|
|
# I cannot just install those dirs using the builtin package support because
|
|
|
|
# my package manager (lazy.nvim) disables those.
|
2023-03-16 22:22:06 +01:00
|
|
|
wrapClient = { base, name, binName ? name, extraArgs ? "" }:
|
2023-01-10 02:38:06 +01:00
|
|
|
pkgs.symlinkJoin {
|
|
|
|
inherit (base) name meta;
|
|
|
|
paths = [ base ];
|
|
|
|
nativeBuildInputs = [ pkgs.makeWrapper ];
|
|
|
|
postBuild = ''
|
2023-03-16 22:22:06 +01:00
|
|
|
wrapProgram $out/bin/${binName} \
|
2023-01-10 02:38:06 +01:00
|
|
|
--prefix PATH : ${lib.makeBinPath extraPackages} \
|
2023-12-02 06:04:57 +01:00
|
|
|
--set NVIM_EXTRA_RUNTIME ${extraRuntime name} \
|
2023-01-12 20:49:08 +01:00
|
|
|
${extraArgs}
|
2023-01-10 02:38:06 +01:00
|
|
|
'';
|
|
|
|
};
|
2023-03-16 22:22:06 +01:00
|
|
|
# }}}
|
|
|
|
# {{{ Clients
|
2023-04-19 22:31:43 +02:00
|
|
|
neovim = wrapClient {
|
2023-09-05 19:59:37 +02:00
|
|
|
base = pkgs.neovim;
|
2023-04-19 22:31:43 +02:00
|
|
|
name = "nvim";
|
|
|
|
};
|
2023-03-16 22:22:06 +01:00
|
|
|
|
2023-01-12 20:49:08 +01:00
|
|
|
neovide = wrapClient {
|
2023-09-05 19:59:37 +02:00
|
|
|
base = pkgs.neovide;
|
2023-01-12 20:49:08 +01:00
|
|
|
name = "neovide";
|
|
|
|
extraArgs = "--set NEOVIDE_MULTIGRID true";
|
|
|
|
};
|
2023-03-16 22:22:06 +01:00
|
|
|
|
|
|
|
firenvim = wrapClient {
|
2023-03-20 20:02:01 +01:00
|
|
|
base = pkgs.neovim;
|
2023-03-16 22:22:06 +01:00
|
|
|
name = "firenvim";
|
|
|
|
binName = "nvim";
|
|
|
|
extraArgs = "--set GIT_DISCOVERY_ACROSS_FILESYSTEM 1";
|
|
|
|
};
|
|
|
|
# }}}
|
2023-12-02 12:16:33 +01:00
|
|
|
|
|
|
|
nlib = config.satellite.neovim.lib;
|
2023-01-10 02:38:06 +01:00
|
|
|
in
|
|
|
|
{
|
2023-03-16 22:22:06 +01:00
|
|
|
# {{{ Basic config
|
2023-11-13 04:03:14 +01:00
|
|
|
# We still want other modules to know that we are using neovim!
|
|
|
|
satellite.toggles.neovim.enable = true;
|
|
|
|
|
2023-12-02 00:59:18 +01:00
|
|
|
xdg.configFile.nvim.source = config.satellite.dev.path "home/features/neovim/config";
|
2023-01-12 20:49:08 +01:00
|
|
|
home.sessionVariables.EDITOR = "nvim";
|
|
|
|
|
2023-01-10 02:38:06 +01:00
|
|
|
home.packages = [
|
|
|
|
neovim
|
|
|
|
neovide
|
2023-06-04 08:12:51 +02:00
|
|
|
pkgs.vimclip
|
2023-01-10 02:38:06 +01:00
|
|
|
];
|
2023-03-16 22:22:06 +01:00
|
|
|
# }}}
|
|
|
|
# {{{ Firenvim
|
2023-11-13 04:03:14 +01:00
|
|
|
home.file.".mozilla/native-messaging-hosts/firenvim.json" =
|
|
|
|
lib.mkIf config.programs.firefox.enable {
|
|
|
|
text =
|
|
|
|
let
|
|
|
|
# God knows what this does
|
|
|
|
# https://github.com/glacambre/firenvim/blob/87c9f70d3e6aa2790982aafef3c696dbe962d35b/autoload/firenvim.vim#L592
|
2023-12-04 09:06:02 +01:00
|
|
|
firenvim_init = pkgs.writeText "firenvim_init.vim" /* vim */ ''
|
2023-11-13 04:03:14 +01:00
|
|
|
let g:firenvim_i=[]
|
|
|
|
let g:firenvim_o=[]
|
|
|
|
let g:Firenvim_oi={i,d,e->add(g:firenvim_i,d)}
|
|
|
|
let g:Firenvim_oo={t->[chansend(2,t)]+add(g:firenvim_o,t)}
|
|
|
|
let g:firenvim_c=stdioopen({'on_stdin':{i,d,e->g:Firenvim_oi(i,d,e)},'on_print':{t->g:Firenvim_oo(t)}})
|
|
|
|
let g:started_by_firenvim = v:true
|
|
|
|
'';
|
|
|
|
|
2023-12-04 09:06:02 +01:00
|
|
|
firenvim_file_loaded = pkgs.writeText "firenvim_file_loaded.vim" /* vim */ ''
|
2023-11-13 04:03:14 +01:00
|
|
|
try
|
|
|
|
call firenvim#run()
|
|
|
|
catch /Unknown function/
|
|
|
|
call chansend(g:firenvim_c,["f\n\n\n"..json_encode({"messages":["Your plugin manager did not load the Firenvim plugin for neovim."],"version":"0.0.0"})])
|
|
|
|
call chansend(2,["Firenvim not in runtime path. &rtp="..&rtp])
|
|
|
|
qall!
|
|
|
|
catch
|
|
|
|
call chansend(g:firenvim_c,["l\n\n\n"..json_encode({"messages": ["Something went wrong when running firenvim. See troubleshooting guide."],"version":"0.0.0"})])
|
|
|
|
call chansend(2,[v:exception])
|
|
|
|
qall!
|
|
|
|
endtry
|
|
|
|
'';
|
|
|
|
in
|
|
|
|
builtins.toJSON {
|
|
|
|
name = "firenvim";
|
|
|
|
description = "Turn your browser into a Neovim GUI.";
|
|
|
|
type = "stdio";
|
|
|
|
allowed_extensions = [ "firenvim@lacamb.re" ];
|
|
|
|
path = pkgs.writeShellScript "firenvim.sh" ''
|
|
|
|
mkdir -p /run/user/$UID/firenvim
|
|
|
|
chmod 700 /run/user/$UID/firenvim
|
|
|
|
cd /run/user/$UID/firenvim
|
|
|
|
|
|
|
|
exec '${firenvim}/bin/nvim' --headless \
|
|
|
|
--cmd 'source "${firenvim_init}"' \
|
|
|
|
-S '${firenvim_file_loaded}'
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
2023-03-16 22:22:06 +01:00
|
|
|
# }}}
|
2023-12-02 06:04:57 +01:00
|
|
|
# {{{ Custom module testing
|
|
|
|
satellite.neovim.styluaConfig = ../../../stylua.toml;
|
2023-12-02 12:16:33 +01:00
|
|
|
satellite.neovim.env.module = "my.helpers.env";
|
|
|
|
|
|
|
|
# {{{ Nvim-tree
|
2023-12-02 06:04:57 +01:00
|
|
|
satellite.neovim.lazy.nvim-tree = {
|
|
|
|
package = "kyazdani42/nvim-tree.lua";
|
2023-12-04 09:06:02 +01:00
|
|
|
|
2023-12-02 12:16:33 +01:00
|
|
|
setup = true;
|
2023-12-04 09:06:02 +01:00
|
|
|
cond = nlib.blacklistEnv [ "vscode" "firenvim" ];
|
|
|
|
|
2023-12-02 06:04:57 +01:00
|
|
|
keys.mapping = "<C-n>";
|
|
|
|
keys.desc = "Toggle [n]vim-tree";
|
|
|
|
keys.action = "<cmd>NvimTreeToggle<cr>";
|
|
|
|
};
|
|
|
|
# }}}
|
2023-12-02 12:16:33 +01:00
|
|
|
# {{{ Lualine
|
|
|
|
satellite.neovim.lazy.lualine = {
|
|
|
|
package = "nvim-lualine/lualine.nvim";
|
|
|
|
name = "lualine";
|
|
|
|
|
|
|
|
cond = nlib.blacklistEnv [ "vscode" "firenvim" ];
|
|
|
|
event = "VeryLazy";
|
|
|
|
|
|
|
|
opts = {
|
|
|
|
options = {
|
|
|
|
component_separators = { left = ""; right = ""; };
|
|
|
|
section_separators = { left = ""; right = ""; };
|
|
|
|
theme = "auto";
|
|
|
|
disabled_filetypes = [ "undotree" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
sections = {
|
|
|
|
lualine_a = [ "branch" ];
|
|
|
|
lualine_b = [ "filename" ];
|
|
|
|
lualine_c = [ "filetype" ];
|
|
|
|
lualine_x = [ "diagnostics" "diff" ];
|
|
|
|
lualine_y = [ ];
|
|
|
|
lualine_z = [ ];
|
|
|
|
};
|
|
|
|
|
|
|
|
# Integration with other plugins
|
|
|
|
extensions = [ "nvim-tree" ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
# }}}
|
|
|
|
# {{{ Winbar
|
|
|
|
satellite.neovim.lazy.winbar = {
|
|
|
|
package = "fgheng/winbar.nvim";
|
|
|
|
name = "winbar";
|
|
|
|
|
|
|
|
cond = nlib.blacklistEnv [ "vscode" "firenvim" ];
|
|
|
|
event = "VeryLazy";
|
|
|
|
|
|
|
|
opts.enabled = true;
|
|
|
|
};
|
|
|
|
# }}}
|
|
|
|
# {{{ Flash
|
|
|
|
satellite.neovim.lazy.flash = {
|
|
|
|
package = "folke/flash.nvim";
|
|
|
|
name = "flash";
|
|
|
|
|
2023-12-04 06:25:00 +01:00
|
|
|
cond = nlib.blacklistEnv [ "vscode" ];
|
2023-12-02 12:16:33 +01:00
|
|
|
keys =
|
|
|
|
let keybind = mode: mapping: action: desc: {
|
|
|
|
inherit mapping desc mode;
|
2023-12-04 09:06:02 +01:00
|
|
|
action = nlib.thunk /* lua */ ''require("flash").${action}()'';
|
2023-12-02 12:16:33 +01:00
|
|
|
};
|
|
|
|
in
|
|
|
|
[
|
|
|
|
(keybind "nxo" "s" "jump" "Flash")
|
|
|
|
(keybind "nxo" "S" "treesitter" "Flash Treesitter")
|
|
|
|
(keybind "o" "r" "remote" "Remote Flash")
|
|
|
|
(keybind "ox" "R" "treesitter_search" "Treesitter Search")
|
|
|
|
(keybind "c" "<C-S>" "toggle" "Toggle Flash Search")
|
|
|
|
];
|
|
|
|
|
|
|
|
# Disable stuff like f/t/F/T
|
|
|
|
opts.modes.char.enabled = false;
|
|
|
|
};
|
|
|
|
# }}}
|
2023-12-04 06:25:00 +01:00
|
|
|
# {{{ Conform.nvim
|
|
|
|
satellite.neovim.lazy.conform = {
|
|
|
|
package = "stevearc/conform.nvim";
|
|
|
|
name = "conform";
|
|
|
|
|
|
|
|
cond = nlib.blacklistEnv [ "vscode" ];
|
|
|
|
event = "BufReadPost";
|
|
|
|
|
|
|
|
opts.format_on_save.lsp_fallback = true;
|
|
|
|
opts.formatters_by_ft = {
|
|
|
|
lua = [ "stylua" ];
|
|
|
|
python = [ "ruff_format" ];
|
|
|
|
javascript = [ [ "prettierd" "prettier" ] ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
# }}}
|
2023-12-04 09:06:02 +01:00
|
|
|
# {{{ Neoconf
|
|
|
|
satellite.neovim.lazy.neoconf = {
|
|
|
|
package = "folke/neoconf.nvim";
|
|
|
|
name = "neoconf";
|
|
|
|
|
|
|
|
cmd = "Neoconf";
|
|
|
|
opts.import = {
|
|
|
|
vscode = true; # local .vscode/settings.json
|
|
|
|
coc = false; # global/local coc-settings.json
|
|
|
|
nlsp = false; # global/local nlsp-settings.nvim json settings
|
|
|
|
};
|
|
|
|
};
|
|
|
|
# }}}
|
|
|
|
# {{{ Harpoon
|
|
|
|
satellite.neovim.lazy.harpoon = {
|
|
|
|
package = "ThePrimeagen/harpoon";
|
|
|
|
keys =
|
|
|
|
let goto = key: index: {
|
|
|
|
desc = "Goto harpoon file ${toString index}";
|
|
|
|
mapping = "<c-s>${key}";
|
|
|
|
action = nlib.thunk
|
|
|
|
/* lua */ ''require("harpoon.ui").nav_file(${toString index})'';
|
|
|
|
};
|
|
|
|
in
|
|
|
|
[
|
|
|
|
{
|
|
|
|
desc = "Add file to [h]arpoon";
|
|
|
|
mapping = "<leader>H";
|
|
|
|
action = nlib.thunk
|
|
|
|
/* lua */ ''require("harpoon.mark").add_file()'';
|
|
|
|
}
|
|
|
|
{
|
|
|
|
desc = "Toggle harpoon quickmenu";
|
|
|
|
mapping = "<c-a>";
|
|
|
|
action = nlib.thunk
|
|
|
|
/* lua */ ''require("harpoon.ui").toggle_quick_menu()'';
|
|
|
|
}
|
|
|
|
(goto "q" 1)
|
|
|
|
(goto "w" 2)
|
|
|
|
(goto "e" 3)
|
|
|
|
(goto "r" 4)
|
|
|
|
(goto "a" 5)
|
|
|
|
(goto "s" 6)
|
|
|
|
(goto "d" 7)
|
|
|
|
(goto "f" 8)
|
|
|
|
(goto "z" 9)
|
|
|
|
];
|
|
|
|
};
|
|
|
|
# }}}
|
2023-12-02 12:16:33 +01:00
|
|
|
# }}}
|
2023-01-10 02:38:06 +01:00
|
|
|
}
|