Remove snippets warning in coq

[rbdr/dotfiles] / README.md

diff --git a/README.md b/README.md
index 29b898839e538b4a7f71f8e3191955f2ad3920cf..3735424790c74ee9a3011248ed79172f63f44da0 100644 (file)
--- a/README.md
+++ b/README.md
@@ -42,15 +42,29 @@ To see what each recipe installs, check the files under `provisioning/`
 
 For local modifications to the zshrc create `~/.zshrc.local`.
 
+## Local vim overrides
+
+For local modifications to your neovim init create `~/.config/nvim/lua/init_local.lua`  
+
 ## Environment modification
 
 In order to specify the environment in the prompt, create a function
 called `env_info_provider` and echo your environment details (eg.
 `dev`, `staging`, `production`)
 
-## CoC & Neovim
+## LSP & Neovim
+
+For the LSP to work, some external dependencies might be needed. As some of 
+these depend on what version asdf has loaded, or specific projects, they're
+not included by default.
+
+See [the nvim-lspconfig docs][lsp] for more info.
+[lsp]: https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md
+
+## Private Files
 
-Additional scripts are providing for updating extensions in neovim.
+There are some potentially sensitive files included. They're PGP encrypted. If
+you need them you can run `./sensitive`. To update them if they change,
+run `./sensitive update` instead.
 
-After setting up nvim and installing plugins, you can run
-`./add-coc-vim-extensions` to automatically add the extensions.
+For passwords, make sure you have setup the `pass` store.