GNU bug report logs - #61178
[PATCH] services: greetd: Fix configuration serialization.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Jelle Licht <jlicht <at> fsfe.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#61178: closed ([PATCH] services: greetd: Fix configuration
 serialization.)
Date: Thu, 09 Feb 2023 14:49:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 09 Feb 2023 15:48:51 +0100
with message-id <874jruki7g.fsf <at> fsfe.org>
and subject line Re: [bug#61178] [PATCH] services: greetd: Fix configuration serialization.
has caused the debbugs.gnu.org bug report #61178,
regarding [PATCH] services: greetd: Fix configuration serialization.
to be marked as done.

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


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

[Message part 2 (message/rfc822, inline)]

From: jlicht <at> fsfe.org
To: guix-patches <at> gnu.org
Subject: [PATCH] services: greetd: Fix configuration serialization.
Date: Mon, 30 Jan 2023 16:35:48 +0100

From: Jelle Licht <jlicht <at> fsfe.org>

* gnu/services/base.scm (make-greetd-terminal-configuration-file): Add missing
'general' section to configuration file.
---
 gnu/services/base.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/services/base.scm b/gnu/services/base.scm
index 9e799445d2..8203c1aa35 100644
--- a/gnu/services/base.scm
+++ b/gnu/services/base.scm
@@ -3071,6 +3071,7 @@ (define (make-greetd-terminal-configuration-file config)
        (default-session-command (greetd-default-session-command config)))
     (mixed-text-file
      config-file-name
+     "[general]\n"
      "source_profile = " (if source-profile? "true" "false") "\n"
      "[terminal]\n"
      "vt = " terminal-vt "\n"

base-commit: de2729bd962616c86c4a3c1c29a1eb9cfd7ab199
-- 
2.39.1

[Message part 3 (message/rfc822, inline)]

From: Jelle Licht <jlicht <at> fsfe.org>
To: 61178-done <at> debbugs.gnu.org
Subject: Re: [bug#61178] [PATCH] services: greetd: Fix configuration
 serialization.
Date: Thu, 09 Feb 2023 15:48:51 +0100

jlicht <at> fsfe.org writes:

> From: Jelle Licht <jlicht <at> fsfe.org>
>
> * gnu/services/base.scm (make-greetd-terminal-configuration-file): Add missing
> 'general' section to configuration file.
> ---
>  gnu/services/base.scm | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/gnu/services/base.scm b/gnu/services/base.scm
> index 9e799445d2..8203c1aa35 100644
> --- a/gnu/services/base.scm
> +++ b/gnu/services/base.scm
> @@ -3071,6 +3071,7 @@ (define (make-greetd-terminal-configuration-file config)
>         (default-session-command (greetd-default-session-command config)))
>      (mixed-text-file
>       config-file-name
> +     "[general]\n"
>       "source_profile = " (if source-profile? "true" "false") "\n"
>       "[terminal]\n"
>       "vt = " terminal-vt "\n"
>
> base-commit: de2729bd962616c86c4a3c1c29a1eb9cfd7ab199
> -- 
> 2.39.1

Pushed to master as 06e3f239b9a.
- Jelle

Previous Next

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