networkmanager service: add unmanaged option
This commit is contained in:
parent
91fe21c854
commit
6681c66db8
|
@ -14,9 +14,10 @@ let
|
||||||
plugins=keyfile
|
plugins=keyfile
|
||||||
|
|
||||||
[keyfile]
|
[keyfile]
|
||||||
${optionalString (config.networking.hostName != "") ''
|
${optionalString (config.networking.hostName != "")
|
||||||
hostname=${config.networking.hostName}
|
''hostname=${config.networking.hostName}''}
|
||||||
''}
|
${optionalString (cfg.unmanaged != [])
|
||||||
|
''unmanaged-devices=${lib.concatStringsSep ";" cfg.unmanaged}''}
|
||||||
|
|
||||||
[logging]
|
[logging]
|
||||||
level=WARN
|
level=WARN
|
||||||
|
@ -97,6 +98,16 @@ in {
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
|
||||||
|
unmanaged = mkOption {
|
||||||
|
type = types.listOf types.string;
|
||||||
|
default = [];
|
||||||
|
description = ''
|
||||||
|
List of interfaces that will not be managed by NetworkManager.
|
||||||
|
Interface name can be specified here, but if you need more fidelity
|
||||||
|
see "Device List Format" in NetworkManager.conf man page.
|
||||||
|
'';
|
||||||
|
};
|
||||||
|
|
||||||
# Ugly hack for using the correct gnome3 packageSet
|
# Ugly hack for using the correct gnome3 packageSet
|
||||||
basePackages = mkOption {
|
basePackages = mkOption {
|
||||||
type = types.attrsOf types.path;
|
type = types.attrsOf types.path;
|
||||||
|
|
Loading…
Reference in a new issue