misc: remove deprecated/renamed options warnings

This commit is contained in:
Gaetan Lepage 2023-05-19 12:38:24 +02:00 committed by Gaétan Lepage
parent a10b6f02cd
commit 2da04fa4ad
8 changed files with 5 additions and 327 deletions

View file

@ -3,33 +3,11 @@
config,
lib,
...
} @ args:
}:
with lib; let
cfg = config.plugins.mark-radar;
helpers = import ../helpers.nix {inherit lib;};
optionWarnings = import ../../lib/option-warnings.nix args;
basePluginPath = ["plugins" "mark-radar"];
in {
# Those renames were done on 03-24-2023
imports = [
(optionWarnings.mkRenamedOption {
option = basePluginPath ++ ["highlight_background"];
newOption = basePluginPath ++ ["backgroundHighlight"];
})
(optionWarnings.mkRenamedOption {
option = basePluginPath ++ ["background_highlight_group"];
newOption = basePluginPath ++ ["backgroundHighlightGroup"];
})
(optionWarnings.mkRenamedOption {
option = basePluginPath ++ ["highlight_group"];
newOption = basePluginPath ++ ["highlightGroup"];
})
(optionWarnings.mkRenamedOption {
option = basePluginPath ++ ["set_default_keybinds"];
newOption = basePluginPath ++ ["setDefaultMappings"];
})
];
options.plugins.mark-radar =
helpers.extraOptionsOptions
// {