GNU bug report logs - #18080
Service list is validated when dmd.conf is generated

Previous Next

Package: guix;

Reported by: ludo <at> gnu.org (Ludovic Courtès)

Date: Tue, 22 Jul 2014 13:59:02 UTC

Severity: wishlist

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: tracker <at> debbugs.gnu.org
Subject: bug#18080: closed (Service list is validated when dmd.conf is
 generated)
Date: Wed, 25 Nov 2015 11:07:03 +0000

[Message part 1 (text/plain, inline)]
Your message dated Wed, 25 Nov 2015 12:06:20 +0100
with message-id <87bnaijq37.fsf <at> gnu.org>
and subject line Re: bug#18080: Service list is validated when dmd.conf is generated
has caused the debbugs.gnu.org bug report #18080,
regarding Service list is validated when dmd.conf is generated
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
18080: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18080
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]
From: ludo <at> gnu.org (Ludovic Courtès)
To: bug-guix <at> gnu.org
Subject: Service list is validated when dmd.conf is generated
Date: Tue, 22 Jul 2014 15:58:15 +0200

I’d be good to verify certain properties when generating dmd.conf, such as:

  1. Make sure any given name is provided by only one service.
  2. Make sure all the required services are actually provided.

Currently, those tests are only done by dmd itself, causing run time
failures.

Ludo’.



[Message part 3 (message/rfc822, inline)]
From: ludo <at> gnu.org (Ludovic Courtès)
To: 18080-done <at> debbugs.gnu.org
Subject: Re: bug#18080: Service list is validated when dmd.conf is generated
Date: Wed, 25 Nov 2015 12:06:20 +0100

ludo <at> gnu.org (Ludovic Courtès) skribis:

> I’d be good to verify certain properties when generating dmd.conf, such as:
>
>   1. Make sure any given name is provided by only one service.
>   2. Make sure all the required services are actually provided.

Done in 2d2651e for #2, and 116244df for #1.

Ludo’.
This bug report was last modified 9 years and 182 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.