cleanup a bunch of unused packages
This commit is contained in:
parent
7d2003d156
commit
9a7cba596c
SSH key fingerprint:
SHA256:3K3IvjUp1U5HwsIRYy/vosnG8l/A84LPUSAKQ6oCGKI
10 changed files with 10 additions and 234 deletions
|
|
@ -1 +1,3 @@
|
|||
vim.opt.expandtab = false
|
||||
vim.opt.shiftwidth = 8
|
||||
vim.opt.tabstop = 8
|
||||
|
|
|
|||
|
|
@ -1,13 +0,0 @@
|
|||
require('haskell-tools').lsp.start()
|
||||
|
||||
local ht = require('haskell-tools')
|
||||
local bufnr = vim.api.nvim_get_current_buf()
|
||||
local opts = { noremap = true, silent = true, buffer = bufnr, }
|
||||
vim.keymap.set('n', '<space>cl', vim.lsp.codelens.run, opts)
|
||||
vim.keymap.set('n', '<space>hs', ht.hoogle.hoogle_signature, opts)
|
||||
vim.keymap.set('n', '<space>ea', ht.lsp.buf_eval_all, opts)
|
||||
vim.keymap.set('n', '<leader>rr', ht.repl.toggle, opts)
|
||||
vim.keymap.set('n', '<leader>rf', function()
|
||||
ht.repl.toggle(vim.api.nvim_buf_get_name(0))
|
||||
end, opts)
|
||||
vim.keymap.set('n', '<leader>rq', ht.repl.quit, opts)
|
||||
|
|
@ -1,30 +1,15 @@
|
|||
return {
|
||||
{
|
||||
'norcalli/nvim-colorizer.lua',
|
||||
config = true
|
||||
'catgoose/nvim-colorizer.lua',
|
||||
event = 'BufReadPre',
|
||||
opts = {},
|
||||
},
|
||||
{
|
||||
'catppuccin/nvim',
|
||||
name = 'catppuccin',
|
||||
'ellisonleao/gruvbox.nvim',
|
||||
priority = 1000,
|
||||
config = function()
|
||||
require('catppuccin').setup({
|
||||
transparent_background = true,
|
||||
})
|
||||
vim.cmd.colorscheme([[catppuccin-mocha]])
|
||||
end
|
||||
},
|
||||
-- {
|
||||
-- "Mofiqul/adwaita.nvim",
|
||||
-- lazy = false,
|
||||
-- priority = 1000,
|
||||
--
|
||||
-- -- configure and set on startup
|
||||
-- config = function()
|
||||
-- vim.g.adwaita_darker = true -- for darker version
|
||||
-- -- vim.g.adwaita_disable_cursorline = true -- to disable cursorline
|
||||
-- vim.g.adwaita_transparent = true -- makes the background transparent
|
||||
-- vim.cmd('colorscheme adwaita')
|
||||
-- end
|
||||
-- }
|
||||
vim.o.background = 'dark'
|
||||
vim.cmd.colorscheme([[gruvbox]])
|
||||
end,
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1,7 +0,0 @@
|
|||
return {
|
||||
{
|
||||
'mrcjkb/haskell-tools.nvim',
|
||||
version = '^4',
|
||||
lazy = false,
|
||||
}
|
||||
}
|
||||
|
|
@ -1,80 +0,0 @@
|
|||
return {
|
||||
{
|
||||
'idris-community/idris2-nvim',
|
||||
event = { 'BufReadPre *.idr', 'BufNewFile *.idr' },
|
||||
dependencies = {
|
||||
'neovim/nvim-lspconfig',
|
||||
'MunifTanjim/nui.nvim',
|
||||
'folke/which-key.nvim'
|
||||
},
|
||||
config = function()
|
||||
local wk = require('which-key')
|
||||
local action = require('idris2.code_action')
|
||||
local hover = require('idris2.hover')
|
||||
local meta = require('idris2.metavars')
|
||||
local browse = require('idris2.browse')
|
||||
local repl = require('idris2.repl')
|
||||
|
||||
require('idris2').setup({
|
||||
client = {
|
||||
hover = {
|
||||
use_split = false,
|
||||
split_size = '30%',
|
||||
auto_resize_split = false,
|
||||
split_position = 'bottom',
|
||||
with_history = true,
|
||||
},
|
||||
},
|
||||
-- autostart_semantic = true,
|
||||
-- code_action_post_hook = save_hook,
|
||||
-- use_default_semantic_hl_groups = true,
|
||||
server = {
|
||||
init_options = {
|
||||
logFile = "~/.cache/idris2-lsp/server.log",
|
||||
longActionTimeout = 2000,
|
||||
},
|
||||
on_attach = function(...)
|
||||
wk.add({
|
||||
{ '<leader>c', action.case_split, desc = 'Split case' },
|
||||
|
||||
{ '<leader>i', group = 'idris action' },
|
||||
{ '<leader>ic', action.make_case, desc = 'Make case' },
|
||||
{ '<leader>iw', action.make_with, desc = 'Make with' },
|
||||
{ '<leader>il', action.make_lemma, desc = 'Make lemma' },
|
||||
{ '<leader>ia', action.add_clause, desc = 'Add clause' },
|
||||
{ '<leader>io', action.expr_search, desc = 'Expr search' },
|
||||
{ '<leader>ig', action.generate_def, desc = 'Generate definition' },
|
||||
{ '<leader>ir', action.refine_hole, desc = 'Refine hole' },
|
||||
{ '<leader>ib', browse.browse, desc = 'Browse' },
|
||||
|
||||
{ '<leader>s', group = 'idris split' },
|
||||
{ '<leader>so', hover.open_split, desc = 'Open' },
|
||||
{ '<leader>sc', hover.close_split, desc = 'Close' },
|
||||
|
||||
{ '<leader>m', group = 'idris metavariables' },
|
||||
{ '<leader>mm', meta.request_all, desc = 'Request all' },
|
||||
{ '<leader>mn', meta.goto_next, desc = 'Next' },
|
||||
{ '<leader>mp', meta.goto_prev, desc = 'Previous' },
|
||||
|
||||
{ '<leader>e', group = 'idris evaluate' },
|
||||
{ '<leader>ee', repl.evaluate, desc = 'Expression' },
|
||||
{
|
||||
'<leader>ev',
|
||||
function() repl.evaluate({ visual = true}) end,
|
||||
desc = 'Visual selection',
|
||||
mode = 'v',
|
||||
group = 'idris evaluate'
|
||||
},
|
||||
{
|
||||
'<leader>er',
|
||||
function() repl.evaluate({ visual = true, sub = true}) end,
|
||||
desc = 'Replace selection',
|
||||
mode = 'v'
|
||||
},
|
||||
})
|
||||
end
|
||||
}
|
||||
})
|
||||
end
|
||||
}
|
||||
}
|
||||
|
|
@ -1,16 +0,0 @@
|
|||
return {
|
||||
{
|
||||
'Julian/lean.nvim',
|
||||
event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
|
||||
|
||||
dependencies = {
|
||||
'neovim/nvim-lspconfig',
|
||||
'nvim-lua/plenary.nvim',
|
||||
},
|
||||
|
||||
opts = {
|
||||
lsp = {},
|
||||
mappings = true,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -1,28 +0,0 @@
|
|||
return {}
|
||||
-- return {
|
||||
-- {
|
||||
-- "jinzhongjia/zig-lamp",
|
||||
-- event = "VeryLazy",
|
||||
-- build = ":ZigLamp build sync",
|
||||
-- dependencies = {
|
||||
-- "neovim/nvim-lspconfig",
|
||||
-- "nvim-lua/plenary.nvim",
|
||||
-- },
|
||||
-- init = function()
|
||||
-- -- Timeout in milliseconds for automatic ZLS installation
|
||||
-- -- Set to nil to disable auto-install
|
||||
-- vim.g.zig_lamp_zls_auto_install = nil
|
||||
--
|
||||
-- -- Fallback to system ZLS if local version not found
|
||||
-- -- Set to any non-negative value to enable
|
||||
-- vim.g.zig_lamp_fall_back_sys_zls = nil
|
||||
--
|
||||
-- -- LSP configuration options passed to lspconfig
|
||||
-- vim.g.zig_lamp_zls_lsp_opt = {}
|
||||
--
|
||||
-- -- UI customization
|
||||
-- vim.g.zig_lamp_pkg_help_fg = "#CF5C00"
|
||||
-- vim.g.zig_lamp_zig_fetch_timeout = 5000
|
||||
-- end,
|
||||
-- }
|
||||
-- }
|
||||
|
|
@ -5,29 +5,6 @@ return {
|
|||
local capabilities = require('cmp_nvim_lsp').default_capabilities()
|
||||
local wk = require('which-key')
|
||||
|
||||
vim.lsp.enable('ocamllsp')
|
||||
vim.lsp.config('ocamllsp', {
|
||||
capabilities = capabilities
|
||||
})
|
||||
|
||||
vim.lsp.enable('tinymist')
|
||||
vim.lsp.config('tinymist', {
|
||||
settings = {
|
||||
formatterMode = "typstyle",
|
||||
exportPdf = "onType",
|
||||
semanticTokens = "disable",
|
||||
}
|
||||
})
|
||||
|
||||
vim.lsp.enable('millet')
|
||||
vim.lsp.config('millet', {
|
||||
root_dir = function(fname)
|
||||
local util = vim.lsp.config.util
|
||||
return util.root_pattern(".cm", ".mlb")(fname)
|
||||
or util.path.dirname(fname)
|
||||
end
|
||||
})
|
||||
|
||||
vim.lsp.enable('clangd')
|
||||
vim.lsp.config('clangd', {
|
||||
capabilities = capabilities
|
||||
|
|
@ -60,24 +37,12 @@ return {
|
|||
})
|
||||
end,
|
||||
dependencies = {
|
||||
'ray-x/lsp_signature.nvim',
|
||||
'hrsh7th/nvim-cmp',
|
||||
}
|
||||
},
|
||||
{
|
||||
'ray-x/lsp_signature.nvim',
|
||||
event = 'VeryLazy',
|
||||
opts = {
|
||||
hind_prefix = 'λ ',
|
||||
},
|
||||
},
|
||||
{
|
||||
'j-hui/fidget.nvim',
|
||||
config = true,
|
||||
event = 'VeryLazy',
|
||||
},
|
||||
{
|
||||
'onsails/lspkind.nvim',
|
||||
event = 'VeryLazy',
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1,8 +1,4 @@
|
|||
return {
|
||||
{
|
||||
'stevearc/dressing.nvim',
|
||||
opts = {},
|
||||
},
|
||||
{
|
||||
"nvim-neo-tree/neo-tree.nvim",
|
||||
branch = "v3.x",
|
||||
|
|
|
|||
|
|
@ -5,10 +5,6 @@ return {
|
|||
event = 'VeryLazy',
|
||||
config = true,
|
||||
},
|
||||
{
|
||||
'mateuszwieloch/automkdir.nvim',
|
||||
event = 'VeryLazy',
|
||||
},
|
||||
{
|
||||
'NeogitOrg/neogit',
|
||||
dependencies = {
|
||||
|
|
@ -72,28 +68,4 @@ return {
|
|||
navigator.setup()
|
||||
end
|
||||
},
|
||||
{
|
||||
'echasnovski/mini.align',
|
||||
version = false,
|
||||
opts = {
|
||||
-- modifiers = {
|
||||
-- i = function(steps, _)
|
||||
-- table.insert(steps.pre_split, align.gen_step.ignore_split({ '".-"', "'.-'", '(.-)' }))
|
||||
-- end
|
||||
-- }
|
||||
}
|
||||
},
|
||||
{
|
||||
'stevearc/conform.nvim',
|
||||
opts = {
|
||||
formatters_by_ft = {
|
||||
rust = { 'rustfmt', lsp_format = 'fallback' },
|
||||
sml = { 'smlfmt' },
|
||||
},
|
||||
format_on_save = {
|
||||
timeout_ms = 500,
|
||||
lsp_format = 'fallback',
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue