add more options
This commit is contained in:
parent
43fb71bcb0
commit
c82b7dea11
|
@ -17,10 +17,18 @@ in {
|
||||||
};
|
};
|
||||||
|
|
||||||
settings = {
|
settings = {
|
||||||
logLevel = mkOption {
|
log_level = mkOption {
|
||||||
type = types.str;
|
type = types.str;
|
||||||
default = "info";
|
default = "info";
|
||||||
};
|
};
|
||||||
|
cache = mkOption {
|
||||||
|
type = types.bool;
|
||||||
|
default = false;
|
||||||
|
};
|
||||||
|
cache_dir = mkOption {
|
||||||
|
type = types.str;
|
||||||
|
default = "source_dir";
|
||||||
|
};
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in a new issue