GNU bug report logs - #67573
[PATCH] gnu: services: Fix gmnisrv service name.

Previous Next

Package: guix-patches;

Reported by: Sergey Trofimov <sarg <at> sarg.org.ru>

Date: Fri, 1 Dec 2023 21:26:01 UTC

Severity: normal

Tags: patch

Merged with 67496

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

Bug is archived. No further changes may be made.

Full log

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Sergey Trofimov <sarg <at> sarg.org.ru>
To: guix-patches <at> gnu.org
Cc: Sergey Trofimov <sarg <at> sarg.org.ru>
Subject: [PATCH] gnu: services: Fix gmnisrv service name.
Date: Fri,  1 Dec 2023 22:24:28 +0100

* gnu/services/web.scm (gmnisrv-service-type):
Change name from guix to gmnisrv.
---
 gnu/services/web.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/services/web.scm b/gnu/services/web.scm
index 818226a4f7..0f2ec71713 100644
--- a/gnu/services/web.scm
+++ b/gnu/services/web.scm
@@ -2101,7 +2101,7 @@ (define %gmnisrv-activation
 
 (define gmnisrv-service-type
   (service-type
-   (name 'guix)
+   (name 'gmnisrv)
    (extensions
     (list (service-extension activation-service-type
                              (const %gmnisrv-activation))

base-commit: 842a11f1caa1bb929c427722ad9d7b7c1ff65727
--
2.41.0
This bug report was last modified 1 year and 226 days ago.

Previous Next

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