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

Previous Next

Full log

Message #10 received at 61178-done <at> debbugs.gnu.org (full text, mbox):

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.