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

Previous Next

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)
Subject: bug#18080: closed (Re: bug#18080: 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 bug report

#18080: Service list is validated when dmd.conf is generated

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 18080 <at> debbugs.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: 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’.

[Message part 3 (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’.

Previous Next

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