Update for coq

This commit is contained in:
Tyler 2025-09-19 12:17:19 -04:00
parent 8bf51dfe94
commit 3a3dd0fd67
3 changed files with 24 additions and 5 deletions

View File

@ -1,6 +1,6 @@
# Beware! This file is rewritten by htop when settings are changed in the interface.
# The parser is also very primitive, and not human-friendly.
htop_version=3.2.2
htop_version=3.3.0
config_reader_min_version=3
fields=0 48 17 47 46 18 38 39 40 2 49 1
hide_kernel_threads=1
@ -37,25 +37,25 @@ column_meter_modes_0=1 1 1 2
column_meters_1=RightCPUs2 Tasks LoadAverage Uptime
column_meter_modes_1=1 1 2 2
tree_view=0
sort_key=47
sort_key=46
tree_sort_key=0
sort_direction=-1
tree_sort_direction=1
tree_view_always_by_pid=0
all_branches_collapsed=0
screen:Main=PID USER PRIORITY PERCENT_MEM PERCENT_CPU NICE M_VIRT M_RESIDENT M_SHARE STATE TIME Command
.sort_key=PERCENT_MEM
.sort_key=PERCENT_CPU
.tree_sort_key=PID
.tree_view=0
.tree_view_always_by_pid=0
.tree_view=0
.sort_direction=-1
.tree_sort_direction=1
.all_branches_collapsed=0
screen:I/O=PID USER IO_PRIORITY IO_RATE IO_READ_RATE IO_WRITE_RATE
.sort_key=IO_RATE
.tree_sort_key=PID
.tree_view=0
.tree_view_always_by_pid=0
.tree_view=0
.sort_direction=-1
.tree_sort_direction=1
.all_branches_collapsed=0

View File

@ -17,4 +17,10 @@ M.plugins = "custom.plugins"
-- check core.mappings for table structure
M.mappings = require "custom.mappings"
-- tell Neovim that *.v files are Coq
vim.api.nvim_create_autocmd({ "BufRead", "BufNewFile" }, {
pattern = "*.v",
callback = function() vim.bo.filetype = "coq" end,
})
return M

View File

@ -38,6 +38,19 @@ local plugins = {
end,
},
{
"whonore/coqtail",
-- tell Coqtail to use `rocq` instead of `coqtop`
config = function()
vim.g.coqtail_program = "rocq"
vim.g.coqtail_coq_prog = "rocq"
-- any other Coqtail settings you like:
-- vim.g.coqtail_ft = "coq" -- filetype
vim.g.coqtail_keymap_leader = "<leader>c"
vim.g.coqtail_map_prefix = "<leader>c"
end,
},
{
"stevearc/conform.nvim",
-- for users those who want auto-save conform + lazyloading!