diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-06-21 14:52:30 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-21 14:52:30 +0200 |
commit | 44fa0dbec72eee1903ebbbf4b2fa99487dab7d05 (patch) | |
tree | 890d52bac135c02de33a44cc4c09951c43c001fd | |
parent | 2e2b5ad7bbf6cf693519e51500ad1cc7dce93ef5 (diff) | |
download | patches-44fa0dbec72eee1903ebbbf4b2fa99487dab7d05.tar patches-44fa0dbec72eee1903ebbbf4b2fa99487dab7d05.tar.gz |
services: network-manager: Specify a default value.
* gnu/services/networking.scm (network-manager-service-type)[default-value]:
New field.
-rw-r--r-- | gnu/services/networking.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/services/networking.scm b/gnu/services/networking.scm index 99a3d493c5..c381581896 100644 --- a/gnu/services/networking.scm +++ b/gnu/services/networking.scm @@ -927,7 +927,8 @@ dns=" dns " (service-extension activation-service-type (const %network-manager-activation)) ;; Add network-manager to the system profile. - (service-extension profile-service-type config->package)))))) + (service-extension profile-service-type config->package))) + (default-value (network-manager-configuration))))) ;;; |