Update Rust nvim config, remove Idris

nvim/.config/nvim/plugs.vim

@@ -46,7 +46,7 @@ Plug 'nvim-lua/plenary.nvim'
 " Coq support
 Plug 'whonore/Coqtail'
 
-" Idris support
+" Nice hovers
-Plug 'idris-hackers/idris-vim'
+Plug 'stevearc/dressing.nvim'
 
 call plug#end()

nvim/.config/nvim/rust.lua

@@ -8,10 +8,24 @@ local capabilities = require('cmp_nvim_lsp').default_capabilities()
 rt.setup({
   server = {
     on_attach = function(_, bufnr)
+      local bufopts = { noremap=true, silent=true, buffer=bufnr }
+
+      vim.keymap.set('n', '<Leader>e', vim.diagnostic.open_float, opts)
+      vim.keymap.set('n', '[d', vim.diagnostic.goto_prev, opts)
+      vim.keymap.set('n', ']d', vim.diagnostic.goto_next, opts)
+      vim.keymap.set('n', '<Leader>q', vim.diagnostic.setloclist, opts)
+
       -- Hover actions
-      vim.keymap.set("n", "<C-k>", rt.hover_actions.hover_actions, { buffer = bufnr })
+      vim.keymap.set("n", "<C-k>", rt.hover_actions.hover_actions, bufopts)
-      -- Code action groups
+
-      vim.keymap.set("n", "<Leader>a", rt.code_action_group.code_action_group, { buffer = bufnr })
+      -- generic LSP config
+      vim.keymap.set('n', 'gd', vim.lsp.buf.definition, bufopts)
+      vim.keymap.set('n', 'gi', vim.lsp.buf.implementation, bufopts)
+      vim.keymap.set('n', '<Leader>rn', vim.lsp.buf.rename, bufopts)
+      vim.keymap.set('n', '<Leader>a', vim.lsp.buf.code_action, bufopts)
+      vim.keymap.set('v', '<Leader>a', vim.lsp.buf.code_action, bufopts)
+      vim.keymap.set('n', '<Leader>f', function() vim.lsp.buf.format { async = true } end, bufopts)
+
     end,
     capabilities = capabilities,
   },

tmuxinator/tmuxinator/idris.yml

@@ -1,51 +0,0 @@
-# /home/nicholas/.config/tmuxinator/Config.yml
-
-name: idris
-root: ~/Code/idris-book
-
-# Optional tmux socket
-# socket_name: foo
-
-# Note that the pre and post options have been deprecated and will be replaced by
-# project hooks.
-
-# Project hooks
-
-# Runs on project start, always
-# on_project_start: command
-
-# Run on project start, the first time
-# on_project_first_start: command
-
-# Run on project start, after the first time
-# on_project_restart: command
-
-# Run on project exit ( detaching from tmux session )
-# on_project_exit: command
-
-# Run on project stop
-# on_project_stop: command
-
-# Runs in each window and pane before window/pane specific commands. Useful for setting up interpreter versions.
-# pre_window: rbenv shell 2.0.0-p247
-
-# Pass command line options to tmux. Useful for specifying a different tmux.conf.
-# tmux_options: -f ~/.tmux.mac.conf
-
-# Change the command to call tmux.  This can be used by derivatives/wrappers like byobu.
-# tmux_command: byobu
-
-# Specifies (by name or index) which window will be selected on project startup. If not set, the first window is used.
-# startup_window: editor
-
-# Specifies (by index) which pane of the specified window will be selected on project startup. If not set, the first pane is used.
-# startup_pane: 1
-
-# Controls whether the tmux session should be attached to automatically. Defaults to true.
-# attach: false
-
-windows:
-  - shell:
-      - clear
-  - editor:
-      - vim-resume