ledger: init plugin

This commit is contained in:
Pedro Alves 2021-03-18 10:03:55 +00:00
parent c3fc078107
commit 5ffa2b4543
4 changed files with 37 additions and 2 deletions

View file

@ -87,10 +87,10 @@ rec {
(if val == false then 0 else 1)
else val;
mkDefaultOpt = { type, global, description ? null, example ? null, value ? v: toLuaObject (globalVal v), ... }: {
mkDefaultOpt = { type, global, description ? null, example ? null, default ? null, value ? v: toLuaObject (globalVal v), ... }: {
option = mkOption {
type = types.nullOr type;
default = null;
default = default;
description = description;
example = example;
};