{
upkgs,
pkgs,
lib,
config,
inputs,
...
}:
let
# Toggles for including tooling related to a given language
packedTargets = {
elm = false;
latex = true;
lua = true;
nix = true;
purescript = false;
python = false;
rust = false;
typst = true;
web = true;
csharp = false;
};
korora = inputs.korora.lib;
nlib = import ../../../modules/common/korora-neovim.nix { inherit lib korora; } {
tempestModule = "my.tempest";
};
mirosSnippetCache = "${config.xdg.cacheHome}/miros";
obsidianVault = "${config.xdg.userDirs.extraConfig.XDG_PROJECTS_DIR}/stellar-sanctum";
generated =
with nlib;
generateConfig {
# {{{ Pre-plugin config
pre = {
# {{{ General options
"0:general-options" = {
vim.g = {
# Disable filetype.vim
do_filetype_lua = true;
did_load_filetypes = false;
# Set leader
mapleader = " ";
};
vim.opt = {
# Basic options
joinspaces = false; # No double spaces with join (mapped to qj in my config)
list = false; # I don't want to show things like tabs
cmdheight = 0; # Hide command line when it's not getting used
spell = true; # Spell checker
signcolumn = "yes"; # Keeps the sign column of a consistent width
# tcqj are there by default, and "r" automatically continues comments on enter
formatoptions = "tcqjr";
scrolloff = 4; # Starts scrolling 4 lines from the edge of the screen
termguicolors = true; # True color support
wrap = false; # Disable line wrap (by default)
wildmode = [
"list"
"longest"
]; # Command-line completion mode
completeopt = [
"menu"
"menuone"
"noselect"
];
undofile = true; # persist undos!!
# {{{ Line numbers
number = true; # Show line numbers
relativenumber = true; # Relative line numbers
# }}}
# {{{ Indents
expandtab = true; # Use spaces for the tab char
shiftwidth = 2; # Size of an indent
tabstop = 2; # Size of tab character
shiftround = true; # When using < or >, rounds to closest multiple of shiftwidth
smartindent = true; # Insert indents automatically
# }}}
# {{{ Casing
ignorecase = true; # Ignore case
smartcase = true; # Do not ignore case with capitals
# }}}
# {{{ Splits
splitbelow = true; # Put new windows below current
splitright = true; # Put new windows right of current
# }}}
# {{{ Folding
foldmethod = "marker"; # use {{{ }}} for folding
foldcolumn = "0"; # show no column with folds on the left
# }}}
};
# {{{Disable pseudo-transparency;
autocmds = {
event = "FileType";
group = "WinblendSettings";
action.vim.opt.winblend = 0;
};
# }}}
# {{{ Starter page
callback =
# lua
thunk ''
local cwd = vim.loop.cwd()
local header
if cwd == ${encode obsidianVault} then
header = ${encode (builtins.readFile ./headers/obsidian.txt)}
else
header = ${encode (builtins.readFile ./headers/main.txt)}
end
require("my.starter").setup({ header = header })
'';
# }}}
};
# }}}
# {{{ Misc keybinds
"1:misc-keybinds" = {
# {{{ Global keybinds
keys =
# {{{ Keybind helpers
let
dmap = mapping: action: desc: {
inherit mapping desc;
action = vim /diagnostic/${action};
};
in
# }}}
[
# {{{ Free up q and Q
(nmap "<c-q>" "q" "Record macro")
(nmap "<c-s-q>" "Q" "Repeat last recorded macro")
(unmap "q")
(unmap "Q")
# }}}
# {{{ Chords
# Different chords get remapped to f-keys by my [my kaanta config](../../../hosts/nixos/common/optional/services/kanata.nix).
#
# Exit insert mode using *jk*
(keymap "iv" "<f10>" "<esc>" "Exit insert mode")
# Use global clipboard using *cp*
(keymap "nv" "<f11>" ''"+'' "Use global clipboard")
# Save using *ji*
(nmap "<f12>" (thunk ''
-- If we don't do this, the statusbar will flash for a second...
vim.cmd([[silent! write]])
vim.opt.stl = vim.opt.stl
'') "Save current file")
# }}}
# {{{ Newline without comments
{
mode = "i";
mapping = "<c-cr>";
action =
_:
vim /paste (args [
[
""
""
]
(-1)
]);
desc = "Insert newline without continuing the current comment";
}
{
mode = "i";
mapping = "<c-s-cr>";
# This is a bit scuffed and might not work for all languages
action = "<cmd>norm O<bs><bs><bs><cr>";
desc = "Insert newline above without continuing the current comment";
}
# }}}
# {{{ Diagnostics
(dmap "J" "open_float" "Open current diagnostic")
(dmap "<leader>D" "setloclist" "[D]iagnostic loclist")
(nmap "qj" "J" "join lines")
# }}}
# {{{ Other misc keybinds
(nmap "<Leader>a" "<C-^>" "[A]lternate file")
(unmap "<C-^>")
(nmap "Q" ":wqa<cr>" "Save all files and [q]uit")
(nmap "<leader>rw" ":%s/<C-r><C-w>/" "[R]eplace [w]ord in file")
(nmap "<leader>sw" (require "my.helpers.wrap" /toggle) "toggle word [w]rap")
(nmap "<leader>ss" (
# lua
thunk "vim.opt.spell = not vim.o.spell"
) "toggle [s]pell checker")
(nmap "<leader>yp" "<cmd>!curl --data-binary @% https://paste.rs | wl-copy<cr>"
"[y]ank [p]aste.rs link to clipboard"
)
# }}}
];
# }}}
# {{{ Autocmds
autocmds = [
# {{{ Exit certain buffers with qq
{
event = "FileType";
pattern = [ "help" ];
group = "BasicBufferQuitting";
action.keys = nmap "qq" "<cmd>close<cr>" "[q]uit current buffer";
}
# }}}
# {{{ Enable wrap movemenets by default in certain filetypes
{
event = "FileType";
pattern = [
"markdown"
"typst"
"tex"
];
group = "EnableWrapMovement";
action = require "my.helpers.wrap" /enable;
}
# }}}
];
# }}}
};
# }}}
# {{{ Manage cmdheight
"2:manage-cmdheight".autocmds = [
{
event = "CmdlineEnter";
group = "SetCmdheightCmdlineEnter";
action.vim.opt.cmdheight = 1;
}
{
event = "CmdlineLeave";
group = "SetCmdheightCmdlineLeave";
action.vim.opt.cmdheight = 0;
}
];
# }}}
# {{{ Lsp settings
"3:lsp-settings" = {
# {{{ Change lsp on-hover borders
vim.lsp.handlers."textDocument/hover" = vim /lsp/with (args [
(vim /lsp/handlers/hover)
{ border = "single"; }
]);
vim.lsp.handlers."textDocument/signatureHelp" = vim /lsp/with (args [
(vim /lsp/handlers/signature_help)
{ border = "single"; }
]);
# }}}
# {{{ Create on-attach keybinds
autocmds = {
event = "LspAttach";
group = "UserLspConfig";
action = {
mkContext = event: {
bufnr = lua event /buf;
client = vim /lsp/get_client_by_id (lua event /data/client_id);
};
keys = [ ];
};
};
# }}}
};
# }}}
# {{{ Neovide config
"4:configure-neovide" = {
cond = whitelist "neovide";
vim.g = {
neovide_transparency = tempest /theme/transparency/applications/value;
neovide_cursor_animation_length = 4.0e-2;
neovide_cursor_animate_in_insert_mode = false;
};
};
# }}}
# {{{ Language specific overrides
"5:language-specific-settings" = {
autocmds = [
# {{{ Nix
{
event = "FileType";
group = "UserNixSettings";
pattern = "nix";
action = {
vim.opt.commentstring = "# %s";
keys = {
mapping = "<leader>lg";
action =
_:
let
cmd = _: vim /cmd ":%!${lib.getExe pkgs.update-nix-fetchgit}";
in
tempest /withSavedCursor cmd;
desc = "Update all fetchgit calls";
};
};
}
# }}}
# {{{ Purescript
{
event = "FileType";
group = "UserPurescriptSettings";
pattern = "purs";
action.vim.opt = {
expandtab = true; # Use spaces for the tab char
commentstring = "-- %s";
};
}
# }}}
];
};
# }}}
};
# }}}
# {{{ Plugins
lazy = {
# {{{ libraries
# {{{ plenary
plenary = {
package = "nvim-lua/plenary.nvim";
# Autoload when running tests
cmd = [
"PlenaryBustedDirectory"
"PlenaryBustedFile"
];
};
# }}}
# {{{ nui
nui.package = "MunifTanjim/nui.nvim";
# }}}
# {{{ web-devicons
web-devicons.package = "nvim-tree/nvim-web-devicons";
# }}}
# {{{ scrap
scrap = {
package = "prescientmoon/scrap.nvim";
event = "InsertEnter";
};
# }}}
# }}}
# {{{ ui
# {{{ mini.statusline
mini-statusline = {
package = "echasnovski/mini.statusline";
name = "mini.statusline";
dependencies.lua = [ "web-devicons" ];
lazy = false;
opts.content.inactive =
_:
require "mini.statusline" /combine_groups [
{
hl = "MiniStatuslineFilename";
strings = [ (vim /fn/expand "%:t") ];
}
];
opts.content.active =
# lua
thunk ''
local st = require("mini.statusline");
local mode, mode_hl = st.section_mode({ trunc_width = 120 })
local git = st.section_git({ trunc_width = 75 })
local diagnostics = st.section_diagnostics({ trunc_width = 75 })
return st.combine_groups({
{ hl = mode_hl, strings = { mode } },
{ hl = "MiniStatuslineDevinfo", strings = { git } },
{ hl = "MiniStatuslineFilename", strings = {
vim.fn.fnamemodify(vim.fn.expand("%:p"), ":~:.")
} },
"%=", -- End left alignment
{ hl = "MiniStatuslineFilename", strings = { diagnostics } },
{ hl = "MiniStatuslineDevinfo", strings = { vim.bo.filetype } },
})
'';
};
# }}}
# {{{ mini.files
mini-files = {
package = "echasnovski/mini.files";
name = "mini.files";
dependencies.lua = [ "web-devicons" ];
keys = {
mapping = "<c-s-f>";
desc = "[S]earch [F]iles";
action =
# lua
thunk ''
local files = require("mini.files")
if not files.close() then
files.open(vim.api.nvim_buf_get_name(0))
files.reveal_cwd()
end
'';
};
opts.windows.preview = false;
opts.mappings.go_in_plus = "l";
};
# }}}
# {{{ quicker.nvim
quicker-nvim = {
package = "stevearc/quicker.nvim";
name = "quicker.nvim";
dependencies.lua = [ "web-devicons" ];
event = "FileType qf";
opts = { };
};
# }}}
# {{{ harpoon
harpoon = {
package = "ThePrimeagen/harpoon";
event = "VeryLazy";
keys =
let
goto = key: index: {
desc = "Goto harpoon file ${toString index}";
mapping = "<c-s>${key}";
action = _: require "harpoon.ui" /nav_file (toString index);
};
in
[
{
desc = "Add file to [h]arpoon";
mapping = "<leader>H";
action = _: require "harpoon.mark" /add_file none;
}
{
desc = "Toggle harpoon quickmenu";
mapping = "<c-a>";
action = _: require "harpoon.ui" /toggle_quick_menu none;
}
(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)
];
};
# }}}
# {{{ telescope
telescope = {
package = "nvim-telescope/telescope.nvim";
version = "0.1.x";
event = "VeryLazy";
# {{{ Dependencies
dependencies = {
nix = [ pkgs.ripgrep ];
lua = [
"plenary"
{
# We want a prebuilt version of this plugin
dir = pkgs.vimPlugins.telescope-fzf-native-nvim;
name = "telescope-fzf-native";
}
];
};
# }}}
# {{{ Keymaps
keys =
let
nmap = mapping: action: desc: {
inherit mapping desc;
action = "<cmd>Telescope ${action} theme=ivy<cr>";
};
findFilesByExtension =
mapping: extension: tag:
nmap "<leader>f${mapping}" "find_files find_command=rg,--files,--glob=**/*.${extension}"
"Find ${tag} files";
in
[
(nmap "<c-p>" "find_files" "File finder [p]alette")
(nmap "<leader>d" "diagnostics root_dir=true" "[D]iagnostics")
(nmap "<c-f>" "live_grep" "[F]ind in project")
(nmap "<c-t>" "builtin" "[T]elescope pickers")
# {{{ Files by extension
(findFilesByExtension "tx" "tex" "[t]ex")
(findFilesByExtension "ts" "ts" "[t]ypescript")
(findFilesByExtension "ty" "typ" "[t]ypst")
(findFilesByExtension "l" "lua" "[l]ua")
(findFilesByExtension "n" "nix" "[n]ua")
(findFilesByExtension "p" "purs" "[p]urescript")
(findFilesByExtension "h" "hs" "[h]askell")
(findFilesByExtension "e" "elm" "[e]lm")
(findFilesByExtension "r" "rs" "[r]ust")
# }}}
];
# }}}
# {{{ Disable folds in telescope windows
config.autocmds = {
event = "FileType";
pattern = "TelescopeResults";
group = "TelescopeResultsDisableFolds";
action.vim.opt.foldenable = false;
};
# }}}
# {{{ Load fzf extension
config.callback = _: require "telescope" /load_extension "fzf";
# }}}
# {{{ Options
opts.defaults.mappings.i."<C-h>" = "which_key";
opts.extensions.fzf = {
fuzzy = true;
override_generic_sorter = true;
override_file_sorter = true;
};
# }}}
};
# }}}
# {{{ dressing
dressing = {
package = "stevearc/dressing.nvim";
event = "VeryLazy";
opts = {
select.backend = [
"nui"
"builtin"
"telescope"
];
input.insert_only = false;
};
};
# }}}
# }}}
# {{{ visual
# The line between `ui` and `visual` is a bit rought. I currenlty mostly judge
# it by vibe.
# {{{ indent-blankline
indent-blankline = {
package = "lukas-reineke/indent-blankline.nvim";
main = "ibl";
event = "VeryLazy";
config = true;
# {{{ Keybinds
keys =
let
# {{{ List of fold-related keybinds
foldKeybinds = [
"zo"
"zO"
"zc"
"zC"
"za"
"zA"
"zv"
"zx"
"zX"
"zm"
"zM"
"zr"
"zR"
];
in
# }}}
[ (nmap "<leader>si" "<cmd>IBLToggle<cr>" "Toggle blankline indentation") ]
++ (lib.forEach foldKeybinds (
from:
nmap from "${from}<cmd>IBLToggle<cr><cmd>IBLToggle<cr>" "Overriden ${from} (fold-related thing)"
));
# }}}}
};
# }}}
# {{{ live-command
# Live command preview for commands like :norm
live-command = {
package = "smjonas/live-command.nvim";
version = "remote"; # https://github.com/smjonas/live-command.nvim/pull/29
main = "live-command";
event = "CmdlineEnter";
opts.commands.Norm.cmd = "norm";
opts.commands.G.cmd = "g";
keys = keymap "v" "N" ":Norm " "Map lines in [n]ormal mode";
};
# }}}
# {{{ fidget
fidget = {
package = "j-hui/fidget.nvim";
tag = "legacy";
event = "BufReadPre";
config = true;
};
# }}}
# {{{ treesitter
treesitter = {
# REASON: more grammars
dir = pkgs.symlinkJoin {
name = "treesitter-with-parsers";
paths = [
upkgs.vimPlugins.nvim-treesitter.withAllGrammars
upkgs.vimPlugins.nvim-treesitter.withAllGrammars.dependencies
];
};
# package = "nvim-treesitter/nvim-treesitter";
main = "nvim-treesitter.configs";
dependencies.nix = [ pkgs.tree-sitter ];
event = "VeryLazy";
#{{{ Highlighting
opts.highlight = {
enable = true;
disable = [ "kotlin" ]; # This one seemed a bit broken
additional_vim_regex_highlighting = false;
};
#}}}
opts.indent.enable = true;
};
# }}}
# }}}
# {{{ editing
# {{{ text navigation
# {{{ flash
flash = {
package = "folke/flash.nvim";
keys =
let
nmap = mode: mapping: action: desc: {
inherit mapping desc mode;
action = _: require "flash" /${action} none;
};
in
[
(nmap "nxo" "s" "jump" "Flash")
(nmap "nxo" "S" "treesitter" "Flash Treesitter")
(nmap "o" "r" "remote" "Remote Flash")
(nmap "ox" "R" "treesitter_search" "Treesitter Search")
(nmap "c" "<C-S>" "toggle" "Toggle Flash Search")
];
# Disable stuff like f/t/F/T
opts.modes.char.enabled = false;
};
# }}}
# {{{ ftft (quickscope but written in lua)
ftft = {
package = "gukz/ftFT.nvim";
keys = [
"f"
"F"
"t"
"T"
];
config = true;
};
# }}}
# }}}
# {{{ clipboard-image
clipboard-image = {
package = "postfen/clipboard-image.nvim";
cmd = "PasteImg";
keys = {
mapping = "<leader>p";
action = "<cmd>PasteImg<cr>";
desc = "[P]aste image from clipboard";
};
opts.default.img_name = importFrom ./plugins/clipboard-image.lua "img_name";
opts.tex = {
img_dir = [
"%:p:h"
"img"
];
affix = "\\includegraphics[width=\\textwidth]{%s}";
};
opts.typst = {
img_dir = [
"%:p:h"
"img"
];
affix = ''#image("%s", width: 100)'';
};
};
# }}}
# {{{ lastplace
lastplace = {
package = "ethanholz/nvim-lastplace";
event = "BufReadPre";
opts.lastplace_ignore_buftype = [
"quickfix"
"nofile"
"help"
];
};
# }}}
# {{{ undotree
undotree = {
package = "mbbill/undotree";
cmd = "UndotreeToggle";
keys = nmap "<leader>u" "<cmd>UndoTreeToggle<cr>" "[U]ndo tree";
};
# }}}
# {{{ mini.ai
mini-ai = {
package = "echasnovski/mini.ai";
name = "mini.ai";
event = "VeryLazy";
opts =
_: # lazy, as we import mini.ai inside
let
balanced = from: [
"%b${from}"
"^.().*().$"
];
in
{
custom_textobjects = {
b = balanced "()";
B = balanced "{}";
r = balanced "[]";
v = [
"⟨.-⟩"
"^⟨().*()⟩$"
];
q = balanced "\"\"";
Q = balanced "``";
a = balanced "''";
A = require "mini.ai" /gen_spec/argument none;
};
};
};
# }}}
# {{{ mini.comment
mini-comment = {
package = "echasnovski/mini.comment";
name = "mini.comment";
config = true;
keys = [
{
mapping = "gc";
mode = "nxv";
}
"gcc"
];
};
# }}}
# {{{ mini.surround
mini-surround = {
package = "echasnovski/mini.surround";
name = "mini.surround";
keys = lib.flatten [
# ^ doing the whole `flatten` thing to lie to my formatter
{
mapping = "<tab>s";
mode = "nv";
}
[
"<tab>d"
"<tab>f"
"<tab>F"
"<tab>h"
"<tab>r"
]
];
# {{{ Keybinds
opts.mappings = {
add = "<tab>s"; # Add surrounding in Normal and Visul modes
delete = "<tab>d"; # Delete surrounding
find = "<tab>f"; # Find surrounding (to the right)
find_left = "<tab>F"; # Find surrounding (to the left)
highlight = "<tab>h"; # Highlight surrounding
replace = "<tab>r"; # Replace surrounding
update_n_lines = ""; # Update `n_lines`
};
# }}}
# {{{ Custom surroundings
opts.custom_surroundings =
let
mk = balanced: input: left: right: {
input = [
input
(if balanced then "^.%s*().-()%s*.$" else "^.().*().$")
];
output = {
inherit left right;
};
};
in
{
b = mk true "%b()" "(" ")";
B = mk true "%b{}" "{" "}";
r = mk true "%b[]" "[" "]";
v = mk true "%b⟨⟩" "⟨" "⟩";
q = mk false "\".-\"" "\"" "\"";
Q = mk false "`.-`" "`" "`";
a = mk false "'.-'" "'" "'";
};
# }}}
};
# }}}
# {{{ mini.operators
mini-operators = {
package = "echasnovski/mini.operators";
name = "mini.operators";
config = true;
keys =
let
operator = key: [
{
mapping = "g${key}";
mode = "nv";
}
"g${key}${key}"
];
in
lib.flatten [
(operator "=")
(operator "m")
(operator "x")
(operator "r")
(operator "s")
];
};
# }}}
# {{{ mini.pairs
mini-pairs = {
package = "echasnovski/mini.pairs";
name = "mini.pairs";
# We could specify all the generated bindings, but I don't think it's worth it
event = [
"InsertEnter"
"CmdlineEnter"
];
};
# }}}
# {{{ luasnip
# snippeting engine
luasnip = {
package = "L3MON4D3/LuaSnip";
version = "v2";
config =
_:
do [
(require "luasnip" /config/setup {
enable_autosnippets = true;
update_events = [
"TextChanged"
"TextChangedI"
];
})
(require "luasnip.loaders.from_lua" /lazy_load { fs_event_providers.libuv = true; })
];
# {{{ Keybinds
keys = [
{
mode = "i";
expr = true;
mapping = "<tab>";
action =
# lua
thunk ''
local luasnip = require("luasnip")
if not luasnip.jumpable(1) then
return "<tab>"
end
vim.schedule(function()
luasnip.jump(1)
end)
return "<ignore>"
'';
desc = "Jump to next snippet tabstop";
}
{
mode = "i";
mapping = "<s-tab>";
action = _: require "luasnip" /jump (-1);
desc = "Jump to previous snippet tabstop";
}
{
mode = "is";
mapping = "<c-a>";
action = "<Plug>luasnip-prev-choice";
desc = "Previous snippet node choice";
}
{
mode = "is";
mapping = "<c-f>";
action = "<Plug>luasnip-next-choice";
desc = "Next snippet node choice";
}
];
# }}}
};
# }}}
# {{{ miros
# snippeting generation language
miros = with inputs.miros.packages.${pkgs.system}; {
dir = miros-nvim;
dependencies.nix = [ miros ];
ft = "miros";
keys = {
mapping = "<leader>rm";
action =
"<cmd>!miros generate"
+ " -i ${config.satellite.dev.path "home/features/neovim/snippets"}"
+ " -o ${mirosSnippetCache}/luasnippets"
+ " luasnip -r my.luasnip <cr>";
desc = "[R]erun [m]iros";
};
};
# }}}
# }}}
# {{{ ide
# {{{ lspconfig
lspconfig = {
# {{{ Nix dependencies
dependencies.nix =
with lib.lists;
with packedTargets;
(
optionals web [
pkgs.nodePackages.typescript
pkgs.nodePackages_latest.vscode-langservers-extracted
pkgs.nodePackages.typescript-language-server
]
++ optionals lua [
pkgs.lua-language-server
pkgs.lua
]
++ optionals nix [ upkgs.nixd ]
++ optionals latex [
pkgs.texlab
pkgs.texlive.combined.scheme-full
]
++ optionals elm [
pkgs.elmPackages.elm
pkgs.elmPackages.elm-format
pkgs.elmPackages.elm-language-server
]
++ optionals purescript [
pkgs.purescript-language-server
pkgs.nodePackages.purs-tidy
]
++ optionals csharp [ pkgs.csharp-ls ]
);
# }}}
dependencies.lua = [
"neoconf"
"neodev"
];
package = "neovim/nvim-lspconfig";
event = "VeryLazy";
keys = nmap "<leader>li" "<cmd>LspInfo<cr>" "[L]sp [i]nfo";
config =
_:
importFrom ./plugins/lspconfig.lua "config" {
# We handle formatting using null-ls and prettierd
ts_ls.on_attach = client: ''
${client}.server_capabilities.documentFormattingProvider = false
'';
purescriptls.settings.purescript = {
censorWarnings = [
"UnusedName"
"ShadowedName"
"UserDefinedWarning"
];
formatter = "purs-tidy";
};
lua_ls.settings.Lua = {
format.enable = true;
# Do not send telemetry data containing a randomized but unique identifier
telemetry.enable = false;
};
texlab.settings.texlab = {
build = {
args = [
# Here by default:
"-pdf"
"-interaction=nonstopmode"
"-synctex=1"
"%f"
# Required for syntax highlighting inside the generated pdf apparently
"-shell-escape"
];
executable = "latexmk";
forwardSearchAfter = true;
onSave = true;
};
chktex = {
onOpenAndSave = true;
onEdit = true;
};
};
nixd.offset_encoding = "utf-8";
nixd.settings.nixd =
let
satellite = "${config.xdg.userDirs.extraConfig.XDG_PROJECTS_DIR}/satellite";
hostname = "tethys"; # not sure how to get this dynamically in HM
in
{
formatting.command = [ ];
diagnostic.suppress = [
"sema-escaping-with"
"sema-extra-with"
];
nixpkgs.expr = ''import (builtins.getFlake "${satellite}").inputs.nixpkgs { }'';
options = {
nixos.expr = ''(builtins.getFlake "${satellite}").nixosConfigurations.${hostname}.options'';
home-manager.expr = ''(builtins.getFlake "${satellite}").homeConfigurations."${config.home.username}@${hostname}".options'';
};
};
tinymist.settings.exportPdf = "onSave";
tinymist.offset_encoding = "utf-8";
cssls = { };
jsonls = { };
dhall_lsp_server = { };
elmls = { };
csharp_ls = { };
ols = { }; # Odin
};
};
# }}}
# {{{ conform
conform = {
dependencies.lua = [ "lspconfig" ];
dependencies.nix =
with lib.lists;
with packedTargets;
(
[ pkgs.codespell ]
++ optional lua pkgs.stylua
++ optional python pkgs.ruff
++ optionals web [
pkgs.nodePackages_latest.prettier
pkgs.nodePackages_latest.prettier_d_slim
]
++ optionals nix [ pkgs.nixfmt-rfc-style ]
);
package = "stevearc/conform.nvim";
event = "VeryLazy";
opts.format_on_save.lsp_fallback = true;
opts.formatters_by_ft =
let
prettier = [
[
"prettierd"
"prettier"
]
];
in
{
"*" = [
# "codespell" # this one causes issues sometimes
"trim_whitespace"
];
lua = [ "stylua" ];
python = [ "ruff_format" ];
javascript = prettier;
typescript = prettier;
javascriptreact = prettier;
typescriptreact = prettier;
html = prettier;
nix = [ "nixfmt" ];
css = prettier;
markdown = prettier;
};
};
# }}}
# {{{ neodev
neodev = {
package = "folke/neodev.nvim";
config = true;
};
# }}}
# {{{ neoconf
neoconf = {
package = "folke/neoconf.nvim";
cmd = "Neoconf";
# Provide autocomplete for every language server
opts.plugins.jsonls.configure_servers_only = false;
opts.import = {
vscode = true; # local .vscode/settings.json
coc = false; # global/local coc-settings.json
nlsp = false; # global/local nlsp-settings.nvim json settings
};
};
# }}}
# {{{ null-ls
null-ls = {
package = "jose-elias-alvarez/null-ls.nvim";
dependencies.lua = [ "lspconfig" ];
dependencies.nix = lib.lists.optional packedTargets.python pkgs.ruff;
event = "VeryLazy";
opts = _: { sources = [ (require "null-ls" /builtins/diagnostics/ruff) ]; };
};
# }}}
# {{{ cmp
cmp = {
package = "hrsh7th/nvim-cmp";
dependencies.lua = [
# {{{ Completion sources
"hrsh7th/cmp-nvim-lsp"
"hrsh7th/cmp-buffer"
"hrsh7th/cmp-emoji"
"hrsh7th/cmp-cmdline"
"hrsh7th/cmp-path"
"saadparwaiz1/cmp_luasnip"
# }}}
"onsails/lspkind.nvim" # show icons in lsp completion menus
"luasnip"
];
event = [
"InsertEnter"
"CmdlineEnter"
];
config = importFrom ./plugins/cmp.lua "config";
};
# }}}
# {{{ neotest
neotest = {
package = "nvim-neotest/neotest";
dependencies.lua = [
# {{{ Adapters
"mrcjkb/neotest-haskell"
# }}}
"plenary"
"treesitter"
"nvim-neotest/nvim-nio"
];
config = _: {
setup.neotest = {
status.virtual_text = true;
output.open_on_run = true;
adapters = [
(require "rustaceanvim.neotest")
(require "neotest-haskell" {
build_tools = [ "stack" ];
frameworks = [ "hspec" ];
})
];
};
};
# {{{ Keybinds
keys =
let
nmap =
key: arg: desc:
nlib.nmap "<leader>t${key}" (thunk "require('neotest').run.${arg}") desc;
in
[
(nmap "c" "run()" "Run [c]urrent [t]est")
(nmap "f" "run(vim.fn.expand('%'))" "Run [t]ests in [f]ile")
(nmap "s" "stop()" "Run [c]urrent [t]est")
];
# }}}
};
# }}}
# {{{ dap
dap = {
package = "rcarriga/nvim-dap-ui";
dependencies.lua = [
"mfussenegger/nvim-dap"
"nvim-neotest/nvim-nio"
];
};
# }}}
# }}}
# {{{ language support
# {{{ haskell support
haskell-tools = {
package = "mrcjkb/haskell-tools.nvim";
dependencies.lua = [ "plenary" ];
version = "^2";
ft = [
"haskell"
"lhaskell"
"cabal"
"cabalproject"
];
config.vim.g.haskell_tools = {
hls.settings.haskell = {
formattingProvider = "fourmolu";
# This seems to work better with custom preludes
# See this issue https://github.com/fourmolu/fourmolu/issues/357
plugin.fourmolu.config.external = true;
};
# I think this wasn't showing certain docs as I expected (?)
tools.hover.enable = false;
};
};
# }}}
# {{{ rust support
# {{{ rustacean
rustacean = {
package = "mrcjkb/rustaceanvim";
dependencies.nix = lib.lists.optionals packedTargets.rust [
pkgs.rust-analyzer
pkgs.rustfmt
# Recommended by rustacean.nvim as providing a better experience
# than raw lldb
pkgs.vscode-extensions.vadimcn.vscode-lldb.adapter
];
lazy = false; # This plugin is already lazy
config.autocmds = {
group = "RustaceanSettings";
event = "FileType";
pattern = "rs";
action.keys = {
mapping = "<leader>lc";
action = "<cmd>RustLsp openCargo<cr>";
desc = "Open [c]argo.toml";
};
};
};
# }}}
# {{{ crates
crates = {
package = "saecki/crates.nvim";
dependencies.lua = [ "plenary" ];
event = "BufReadPost Cargo.toml";
# {{{ Set up null_ls source
opts.null_ls = {
enabled = true;
name = "crates";
};
# }}}
config.autocmds = [
# {{{ Load cmp source on insert
{
event = "InsertEnter";
group = "CargoCmpSource";
pattern = "Cargo.toml";
action = _: require "cmp" /setup/buffer { sources = [ { name = "crates"; } ]; };
}
# }}}
# {{{ Load keybinds on attach
{
event = "BufReadPost";
group = "CargoKeybinds";
pattern = "Cargo.toml";
# # {{{ Register which-key info
# action.callback = contextThunk /* lua */ ''
# require("which-key").register({
# ["<leader>lc"] = {
# name = "[l]ocal [c]rates",
# bufnr = context.bufnr
# },
# })
# '';
# }}}
action.keys =
_:
let
# {{{ Keymap helpers
nmap = mapping: action: desc: {
inherit mapping desc;
action = require "crates" /${action};
};
keyroot = "<leader>lc";
in
# }}}
# {{{ Keybinds
[
(nmap "${keyroot}t" "toggle" "[c]rates [t]oggle")
(nmap "${keyroot}r" "reload" "[c]rates [r]efresh")
(nmap "${keyroot}H" "open_homepage" "[c]rate [H]omephage")
(nmap "${keyroot}R" "open_repository" "[c]rate [R]epository")
(nmap "${keyroot}D" "open_documentation" "[c]rate [D]ocumentation")
(nmap "${keyroot}C" "open_crates_io" "[c]rate [C]rates.io")
(nmap "${keyroot}v" "show_versions_popup" "[c]rate [v]ersions")
(nmap "${keyroot}f" "show_features_popup" "[c]rate [f]eatures")
(nmap "${keyroot}d" "show_dependencies_popup" "[c]rate [d]eps")
(nmap "K" "show_popup" "[c]rate popup")
];
# }}}
}
# }}}
];
};
# }}}
# }}}
# {{{ lean support
lean = {
package = "Julian/lean.nvim";
name = "lean";
dependencies.lua = [
"plenary"
"lspconfig"
];
ft = "lean";
opts = {
abbreviations = {
builtin = true;
cmp = true;
};
lsp.capabilites = importFrom ./plugins/lspconfig.lua "capabilities";
lsp3 = false; # We don't want the lean 3 language server!
mappings = true;
};
};
# }}}
# {{{ idris support
idris = {
package = "ShinKage/idris2-nvim";
name = "idris";
dependencies.lua = [
"nui"
"lspconfig"
];
ft = [
"idris2"
"lidris2"
"ipkg"
];
opts = {
client.hover.use_split = true;
serve.on_attach = tempestBufnr {
# {{{ Keymaps
keys =
let
keymap = mapping: action: desc: {
inherit desc;
mapping = "<leader>i${mapping}";
action = require "idris2.code_action" /${action};
};
in
[
(keymap "C" "make_case" "Make [c]ase")
(keymap "L" "make_lemma" "Make [l]emma")
(keymap "c" "add_clause" "Add [c]lause")
(keymap "e" "expr_search" "[E]xpression search")
(keymap "d" "generate_def" "Generate [d]efinition")
(keymap "s" "case_split" "Case [s]plit")
(keymap "h" "refine_hole" "Refine [h]ole")
];
# }}}
};
};
};
# }}}
# {{{ github actions
github-actions = {
package = "yasuhiroki/github-actions-yaml.vim";
ft = [
"yml"
"yaml"
];
};
# }}}
# {{{ typst support
typst = {
package = "kaarmu/typst.vim";
dependencies.nix = lib.lists.optionals packedTargets.typst [
upkgs.typst
upkgs.tinymist
upkgs.typstfmt
];
ft = "typst";
};
# }}}
# {{{ purescript support
purescript = {
package = "purescript-contrib/purescript-vim";
ft = "purescript";
};
# }}}
# {{{ hyprland support
hyprland = {
package = "theRealCarneiro/hyprland-vim-syntax";
ft = "hypr";
init.autocmds = {
event = "BufRead";
group = "DetectHyprlandConfig";
pattern = "hyprland.conf";
action.vim.opt.ft = "hypr";
};
};
# }}}
# {{{ typescript support
# Required for yarn PNP to work
rzip = {
package = "lbrayner/vim-rzip";
event = "VeryLazy";
};
# }}}
# {{{ djot support
djot =
let
djot = pkgs.fetchFromGitHub {
owner = "jgm";
repo = "djot";
rev = "2fec440ab7a75a06a1e18c29a00de64ec7c94b9d";
sha256 = "1xy2x1qbmv1kjxdpj2pjm03d9l7qrl0wx96gn5m0lkfxkg766i7z";
};
in
{
dir = "${djot}/editors/vim";
ft = "djot";
config.autocmds = {
event = "FileType";
group = "UserDjotSettings";
pattern = "djot";
action.vim.opt.commentstring = ''{\% %s \%}'';
};
};
# }}}
# }}}
# {{{ external
# These plugins integrate neovim with external services
# {{{ wakatime
wakatime = {
package = "wakatime/vim-wakatime";
dependencies.nix = [ pkgs.wakatime ];
event = "VeryLazy";
};
# }}}
# {{{ discord rich presence
discord-rich-presence = {
enabled = false;
package = "andweeb/presence.nvim";
main = "presence";
event = "VeryLazy";
config = true;
};
# }}}
# {{{ gitlinker
# generate permalinks for code
gitlinker = rec {
package = "ruifm/gitlinker.nvim";
dependencies.lua = [ "plenary" ];
opts.mappings = "<leader>yg";
keys = {
mapping = opts.mappings;
desc = "[y]ank [g]it permalink";
};
};
# }}}
# {{{ obsidian
obsidian =
let
dateFormat = "%Y-%m-%d";
in
{
package = "epwalsh/obsidian.nvim";
dependencies.lua = [ "plenary" ];
event = "VeryLazy";
cond = lua "vim.loop.cwd() == ${encode obsidianVault}";
config.keys =
let
nmap = mapping: action: desc: {
inherit mapping desc;
action = "<cmd>Obsidian${action}<cr>";
};
in
[
(nmap "<C-O>" "QuickSwitch<cr>" "[o]pen note")
(nmap "<leader>ot" "Today" "[t]oday's note")
(nmap "<leader>oy" "Yesterday" "[y]esterday's note")
(nmap "<leader>oi" "Template" "[i]nstantiate template")
(nmap "<leader>on" "Template New note.md" "new [n]ote template")
(nmap "<leader>od" "Template New note.md" "new [d]ream template")
];
opts = {
dir = obsidianVault;
notes_subdir = "chaos";
daily_notes = {
folder = "daily";
date_format = dateFormat;
template = "New daily note.md";
};
templates = {
subdir = "templates";
date_format = dateFormat;
time_format = "%H:%M";
};
completion = {
nvim_cmp = true;
min_chars = 2;
};
new_notes_location = "current_dir";
mappings = { };
disable_frontmatter = true;
};
};
# }}}
# {{{ navigator
navigator = {
package = "numToStr/Navigator.nvim";
cond = blacklist [ "neovide" ];
config = true;
keys = [
(nmap "<c-h>" "<cmd>NavigatorLeft<cr>" "Navigate left")
(nmap "<c-j>" "<cmd>NavigatorDown<cr>" "Navigate down")
(nmap "<c-k>" "<cmd>NavigatorUp<cr>" "Navigate up")
(nmap "<c-l>" "<cmd>NavigatorRight<cr>" "Navigate right")
];
};
# }}}
# }}}
};
# }}}
};
# {{{ extraRuntime
# Experimental nix module generation
generatedConfig = config.satellite.lib.lua.writeFile "lua/nix" "init" generated.lua;
extraRuntime = lib.concatStringsSep "," [
generatedConfig
mirosSnippetCache
"${pkgs.vimPlugins.lazy-nvim}"
];
# }}}
# {{{ Client wrapper
# Wraps a neovim client, providing the dependencies
# and setting some flags:
wrapClient =
{
base,
name,
binName ? name,
extraArgs ? "",
wrapFlags ? lib.id,
}:
let
startupScript =
config.satellite.lib.lua.writeFile "." "startup" # lua
''
vim.g.nix_extra_runtime = ${nlib.encode extraRuntime}
vim.g.nix_projects_dir = ${nlib.encode config.xdg.userDirs.extraConfig.XDG_PROJECTS_DIR}
vim.g.nix_theme = ${config.satellite.colorscheme.lua}
-- Provide hints as to what app we are running in
-- (Useful because neovide does not provide the info itself right away)
vim.g.nix_neovim_app = ${nlib.encode name}
'';
extraFlags = lib.escapeShellArg (wrapFlags ''--cmd "lua dofile('${startupScript}/startup.lua')"'');
in
pkgs.symlinkJoin {
inherit (base) name meta;
paths = [ base ];
nativeBuildInputs = [ pkgs.makeWrapper ];
postBuild = ''
wrapProgram $out/bin/${binName} \
--prefix PATH : ${lib.makeBinPath generated.dependencies} \
--add-flags ${extraFlags} \
${extraArgs}
'';
};
# }}}
# {{{ Clients
neovim = wrapClient {
base =
if config.satellite.toggles.neovim-nightly.enable then
inputs.neovim-nightly-overlay.packages.${pkgs.system}.default
else
upkgs.neovim;
name = "nvim";
};
neovide = wrapClient {
base = pkgs.neovide;
name = "neovide";
extraArgs = "--set NEOVIDE_MULTIGRID true";
wrapFlags = flags: "-- ${flags}";
};
in
# }}}
{
satellite.lua.styluaConfig = ../../../stylua.toml;
imports = [ ../desktop/wakatime ];
# {{{ Basic config
# We want other modules to know that we are using neovim!
satellite.toggles.neovim.enable = true;
# Link files in the appropriate places
xdg.configFile.nvim.source = config.satellite.dev.path "home/features/neovim/config";
home.sessionVariables.EDITOR = "nvim";
home.file.".nvim_nix_runtime".source = generatedConfig;
# Install packages
home.packages = [
neovim
pkgs.vimclip
neovide
];
# }}}
# {{{ Persistence
satellite.persistence.at.state.apps.neovim.directories = [
".local/state/nvim"
"${config.xdg.dataHome}/nvim"
];
satellite.persistence.at.cache.apps.neovim.directories = [
"${config.xdg.cacheHome}/nvim"
mirosSnippetCache
];
# }}}
}