From b67ff4d1b29b590ab6865bc9eac785c28006f228 Mon Sep 17 00:00:00 2001 From: Heitor Augusto <44377258+HeitorAugustoLN@users.noreply.github.com> Date: Mon, 24 Nov 2025 20:31:06 -0300 Subject: [PATCH] plugins/deprecation: add mini-icons alternative to web-devicons warning --- plugins/deprecation.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/deprecation.nix b/plugins/deprecation.nix index 5a5bb905..fa8cf3a7 100644 --- a/plugins/deprecation.nix +++ b/plugins/deprecation.nix @@ -100,7 +100,8 @@ in message = '' This plugin was enabled automatically because the following plugins are enabled. This behaviour is deprecated. Please explicitly define `plugins.web-devicons.enable` or alternatively - enable `plugins.mini.enable` with `plugins.mini.modules.icons` and `plugins.mini.mockDevIcons`. + enable `plugins.mini.enable` with `plugins.mini.modules.icons` and `plugins.mini.mockDevIcons`, or + `plugins.mini-icons.enable` with `plugins.mini-icons.mockDevIcons`. ${lib.concatMapStringsSep "\n" (name: "plugins.${name}") ( builtins.filter (name: config.plugins.${name}.enable) iconsPackagePlugins )}