diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-04-30 14:07:34 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-04-30 14:22:43 +0200 |
| commit | 5986e94118b114319feadbd2431d6efbf870a5e5 (patch) | |
| tree | d5243b32f4a8a3bf0194844c507d9962398d1c72 /gnu/build | |
| parent | 6ac8b7359a1ac80e558f41dd37004ffa727dd3c6 (diff) | |
| download | patches-5986e94118b114319feadbd2431d6efbf870a5e5.tar patches-5986e94118b114319feadbd2431d6efbf870a5e5.tar.gz | |
services: gpm: Provide a default value and document 'gpm-service-type'.
* gnu/services/base.scm (%default-gpm-options): New variable.
(<gpm-configuration>)[gpm, options]: Add default values.
(gpm-service-type)[default-value]: New field.
(gpm-service): Use %DEFAULT-GPM-OPTIONS and mark as deprecated.
* doc/guix.texi (Base Services): Document 'gpm-service-type' and
'gpm-configuration'. Remove 'gpm-service'.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions