services: etc: Detect and report duplicate entries.
authorLudovic Courtès <ludo@gnu.org>
Mon, 20 Apr 2020 20:31:38 +0000 (22:31 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 20 Apr 2020 22:06:40 +0000 (00:06 +0200)
commita322e9d16b227484ce04721fee0f99618cb1007e
tree5ea8a61cf9d7ebc3d6ca360e10d1899862fad382
parentb25ecfa2e0ab6642dc35f7f68a24117e33f5795f
services: etc: Detect and report duplicate entries.

Fixes <https://bugs.gnu.org/40729>.
Reported by Christopher Baines <mail@cbaines.net>.

* gnu/services.scm (files->etc-directory)[assert-no-duplicates]: New
procedure.
Use it.
gnu/services.scm