M bash/.bashrc.d/04-exports.bash → bash/.bashrc.d/04-exports.bash

@@ -9,7 +9,7 @@ export PLAN9=/usr/local/plan9
 export PATH=$PATH:$PLAN9/bin
 
 # export thingys
-export EDITOR=$HOME/bin/a
+export EDITOR=nvim
 export SSH_KEY_PATH="~/.ssh/id_rsa"
 export GPG_TTY=$(tty)
 export INPUTRC=~/.inputrc

M config/nvim/init.lua → config/nvim/init.lua

@@ -13,7 +13,6 @@ 'airblade/vim-gitgutter';
   'nathom/filetype.nvim';
   'lewis6991/impatient.nvim';
   { 'ms-jpq/coq_nvim', branch='coq' };
-  { 'ms-jpq/coq.artifacts', branch='artifacts' };
   { 'vim/better-text-objs', url='https://git.peppe.rs' };
   { 'vim/vim-colors-plain', url='https://git.peppe.rs' };
 }

M config/nvim/lua/settings.lua → config/nvim/lua/settings.lua

@@ -84,7 +84,33 @@ -- unknown files are 'text'
 cmd('au BufNewFile,BufRead * if &ft == "" | set ft=text | endif')
 
 -- coq.nvim
-g.coq_settings = { auto_start = 'shut-up' }
+g.coq_settings = {
+  auto_start = 'shut-up',
+  display = {
+    icons = {
+      mode = 'none'
+    },
+    preview = {
+      border = 'solid',
+    },
+  },
+}
 
 -- filetype.nvim
 g.did_load_filetypes = 1
+
+-- disable built-in plugins
+local disabled_built_ins = {
+  'gzip',
+  'man',
+  'shada_plugin',
+  'tarPlugin',
+  'tar',
+  'zipPlugin',
+  'zip',
+  'netrwPlugin',
+}
+
+for i = 1, 8 do
+  g['loaded_' .. disabled_built_ins[i]] = 1
+end

M home/.gitconfig → home/.gitconfig

@@ -33,10 +33,3 @@ showDirtyState = true
 	showUntrackedFiles = false
 [pull]
 	rebase = true
-[color]
-    ui = false
-    branch = false
-    diff = false
-    interactive = false
-    status = false
-    log = false