diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-08-05 21:56:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-08-20 22:47:26 +0200 |
| commit | 9bfe7fbdbe51451d74a8fead5c1727d002050a52 (patch) | |
| tree | e62e5aa06a0aa0c422b35fc86ac448bf631a66be /gnu/home | |
| parent | 171ab374f9998e3664a4c6a62ea5b82ec5a818bc (diff) | |
| download | guix-9bfe7fbdbe51451d74a8fead5c1727d002050a52.tar.gz guix-9bfe7fbdbe51451d74a8fead5c1727d002050a52.zip | |
services: dicod: Pre-build the GCIDE index.
* gnu/services/dict.scm (%dicod-gcide-index): New variable.
(%dicod-database:gcide): Use it.
(%dicod-activation): Remove.
(dicod-shepherd-service): Remove reference to /var/run/dicod.
(dicod-service-type): Remove ACTIVATION-SERVICE-TYPE extension.
Diffstat (limited to 'gnu/home')
0 files changed, 0 insertions, 0 deletions