2022-10-24 13:12:54 +01:00
|
|
|
{ config, lib, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
{
|
|
|
|
options = {
|
|
|
|
system.defaults.CustomUserPreferences = mkOption {
|
|
|
|
type = types.attrs;
|
|
|
|
default = { };
|
|
|
|
example = {
|
|
|
|
"NSGlobalDomain" = { "TISRomanSwitchState" = 1; };
|
|
|
|
"com.apple.Safari" = {
|
|
|
|
"com.apple.Safari.ContentPageGroupIdentifier.WebKit2DeveloperExtrasEnabled" =
|
|
|
|
true;
|
|
|
|
};
|
|
|
|
};
|
2023-06-22 12:21:32 +01:00
|
|
|
description = lib.mdDoc ''
|
2022-10-24 13:12:54 +01:00
|
|
|
Sets custom user preferences
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
system.defaults.CustomSystemPreferences = mkOption {
|
|
|
|
type = types.attrs;
|
|
|
|
default = { };
|
|
|
|
example = {
|
|
|
|
"NSGlobalDomain" = { "TISRomanSwitchState" = 1; };
|
|
|
|
"com.apple.Safari" = {
|
|
|
|
"com.apple.Safari.ContentPageGroupIdentifier.WebKit2DeveloperExtrasEnabled" =
|
|
|
|
true;
|
|
|
|
};
|
|
|
|
};
|
2023-06-22 12:21:32 +01:00
|
|
|
description = lib.mdDoc ''
|
2022-10-24 13:12:54 +01:00
|
|
|
Sets custom system preferences
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
}
|