Modules/Neovim: Further comment how to disable rocks

2025-07-11 17:13:07 +02:00
parent 1819251cae
commit ca99932e78
1 changed files with 3 additions and 0 deletions
--- a/home/modules/neovim/extraConfigLua.lua
+++ b/home/modules/neovim/extraConfigLua.lua
@ -1,5 +1,8 @@
 -- Make Lazy window border rounded
 require("lazy.core.config").options.ui.border = "rounded"
+
+-- Disable rocks. For some reason, we still have to activate
+-- "Install" in the Lazy menu once to disable rocks completely.
 require("lazy.core.config").options.rocks.enabled = false

 -- Default filetype to tex instead of plaintex