From 4739408f6ba786a974413ef643b73e99453f8923 Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Fri, 11 Jul 2025 17:13:07 +0200 Subject: [PATCH] Modules/Neovim: Further comment how to disable rocks --- home/modules/neovim/extraConfigLua.lua | 3 +++ 1 file changed, 3 insertions(+) diff --git a/home/modules/neovim/extraConfigLua.lua b/home/modules/neovim/extraConfigLua.lua index dd3771b8..a2d88bdd 100644 --- 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