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 /berlin.guixsd.org.pub | |
| parent | 6ac8b7359a1ac80e558f41dd37004ffa727dd3c6 (diff) | |
| download | guix-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 'berlin.guixsd.org.pub')
0 files changed, 0 insertions, 0 deletions