2024-01-15 15:36:10 -05:00
|
|
|
-- Options
|
|
|
|
|
--- ui
|
|
|
|
|
vim.opt.number = true
|
2024-01-23 10:45:26 -05:00
|
|
|
vim.opt.syntax = 'on'
|
|
|
|
|
vim.opt.smartcase = true
|
2024-02-02 17:09:48 -05:00
|
|
|
vim.opt.statusline = "%F %{wordcount().words} words"
|
|
|
|
|
vim.opt.wrap = false -- don't wrap text
|
2024-01-23 10:45:26 -05:00
|
|
|
|
2024-01-24 10:40:30 -05:00
|
|
|
--- clipboard
|
|
|
|
|
vim.opt.clipboard = 'unnamedplus'
|
|
|
|
|
|
|
|
|
|
-- Enable lazy.vim
|
|
|
|
|
local lazypath = vim.fn.stdpath("data") .. "/lazy/lazy.nvim"
|
|
|
|
|
if not vim.loop.fs_stat(lazypath) then
|
|
|
|
|
vim.fn.system({
|
|
|
|
|
"git",
|
|
|
|
|
"clone",
|
|
|
|
|
"--filter=blob:none",
|
|
|
|
|
"https://github.com/folke/lazy.nvim.git",
|
|
|
|
|
"--branch=stable", -- latest stable release
|
|
|
|
|
lazypath,
|
|
|
|
|
})
|
|
|
|
|
end
|
|
|
|
|
vim.opt.rtp:prepend(lazypath)
|
|
|
|
|
|
|
|
|
|
vim.g.mapleader = " " -- Make sure to set `mapleader` before lazy so your mappings are correct
|
|
|
|
|
|
|
|
|
|
plugins = {
|
|
|
|
|
"folke/which-key.nvim",
|
|
|
|
|
{ "folke/neoconf.nvim", cmd = "Neoconf" },
|
|
|
|
|
"folke/neodev.nvim",
|
2024-01-29 13:43:19 -05:00
|
|
|
{
|
|
|
|
|
"neovim/nvim-lspconfig",
|
2024-02-02 17:09:48 -05:00
|
|
|
["dependencies"] = { -- Dependencies define which plugins are loaded before this one
|
2024-01-29 13:43:19 -05:00
|
|
|
{ "j-hui/fidget.nvim", ["opts"] = {} },
|
|
|
|
|
{ "folke/neodev.nvim", ["opts"] = {} }
|
|
|
|
|
},
|
|
|
|
|
["name"] = "nvim-lspconfig"
|
|
|
|
|
},
|
2024-02-02 17:09:48 -05:00
|
|
|
{
|
|
|
|
|
"nvim-treesitter/nvim-treesitter",
|
|
|
|
|
["config"] = function(_, _)
|
|
|
|
|
require("nvim-treesitter.configs").setup({
|
|
|
|
|
["auto-install"] = true,
|
|
|
|
|
["highlight"] = {
|
|
|
|
|
["enable"] = true,
|
|
|
|
|
},
|
|
|
|
|
["incremental-selection"] = {
|
|
|
|
|
["enable"] = true,
|
|
|
|
|
},
|
|
|
|
|
})
|
|
|
|
|
end
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"ms-jpq/coq_nvim",
|
|
|
|
|
["dependencies"] = {
|
|
|
|
|
"nvim-lspconfig",
|
|
|
|
|
{ "ms-jpq/coq.artifacts" },
|
|
|
|
|
{ "ms-jpq/coq.thirdparty" },
|
|
|
|
|
},
|
|
|
|
|
["config"] = function(_, _)
|
|
|
|
|
-- vim.g.coq_settings = {
|
|
|
|
|
-- ["xdg"] = true
|
|
|
|
|
-- }
|
|
|
|
|
-- coq.Now("--shut-up")
|
|
|
|
|
end
|
|
|
|
|
},
|
2024-01-29 13:48:01 -05:00
|
|
|
{
|
|
|
|
|
'AlexvZyl/nordic.nvim',
|
|
|
|
|
lazy = false,
|
|
|
|
|
priority = 1000,
|
|
|
|
|
config = function()
|
2024-02-13 09:04:53 -05:00
|
|
|
require'nordic'.load()
|
2024-01-29 13:48:01 -05:00
|
|
|
end
|
|
|
|
|
},
|
2024-01-30 15:21:59 -05:00
|
|
|
"lervag/vimtex",
|
2024-02-13 09:04:53 -05:00
|
|
|
{
|
|
|
|
|
'jghauser/auto-pandoc.nvim',
|
|
|
|
|
dependencies = { 'nvim-lua/plenary.nvim' },
|
|
|
|
|
ft = "markdown",
|
|
|
|
|
config = function()
|
|
|
|
|
vim.api.nvim_create_autocmd("BufEnter", {
|
|
|
|
|
pattern = "*.md",
|
|
|
|
|
callback = function()
|
|
|
|
|
vim.keymap.set("n", "go", function()
|
|
|
|
|
require("auto-pandoc").run_pandoc()
|
|
|
|
|
end, { silent = true, buffer = 0 })
|
|
|
|
|
end,
|
|
|
|
|
group = vim.api.nvim_create_augroup("setAutoPandocKeymap", {}),
|
|
|
|
|
desc = "Set keymap for auto-pandoc",
|
|
|
|
|
})
|
|
|
|
|
end
|
|
|
|
|
},
|
2024-02-02 17:09:48 -05:00
|
|
|
-- {
|
|
|
|
|
-- 'nvim-lualine/lualine.nvim',
|
|
|
|
|
-- dependencies = { 'nvim-tree/nvim-web-devicons' }
|
|
|
|
|
-- },
|
2024-01-24 10:40:30 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
require("lazy").setup(plugins)
|
2024-01-29 13:43:19 -05:00
|
|
|
|
2024-02-02 17:09:48 -05:00
|
|
|
-- Configure nvim-lspconfig to work with servers; configure coq to work with lsps
|
|
|
|
|
-- TODO put this in coq config block in lazy so it doesn't load every time!!!!!!!
|
|
|
|
|
local lspconfig = require('lspconfig')
|
|
|
|
|
local coq = require('coq')
|
|
|
|
|
lspconfig.ocamllsp.setup(coq.lsp_ensure_capabilities({}))
|
2024-01-30 15:21:59 -05:00
|
|
|
|
|
|
|
|
-- Configure vimtex
|
|
|
|
|
vim.g.vimtex_view_method = "zathura"
|
|
|
|
|
|
2024-02-02 17:09:48 -05:00
|
|
|
|
2024-01-30 15:21:59 -05:00
|
|
|
-- Configure lualine
|
2024-02-02 17:09:48 -05:00
|
|
|
-- require('lualine').setup {
|
|
|
|
|
-- options = {
|
|
|
|
|
-- icons_enabled = true,
|
|
|
|
|
-- theme = 'nord',
|
|
|
|
|
-- },
|
|
|
|
|
-- }
|
2024-01-30 15:21:59 -05:00
|
|
|
|