services: greetd: Add 'source-profile?' configuration field.
* gnu/services/base.scm (<greetd-terminal-configuration>)[source-profile?]: New field. (make-greetd-terminal-configuration-file): Serialize new field to configuration file. * doc/guix.texi (Base Services): Document it.master
parent
238f965c33
commit
a5b914156e
|
@ -18908,6 +18908,10 @@ is recommended.
|
|||
@item @code{terminal-switch} (default: @code{#f})
|
||||
Make this terminal active on start of @code{greetd}.
|
||||
|
||||
@item @code{source-profile?} (default: @code{#t})
|
||||
Whether to source @file{/etc/profile} and @file{~/.profile}, when they
|
||||
exist.
|
||||
|
||||
@item @code{default-session-user} (default: @samp{"greeter"})
|
||||
The user to use for running the greeter.
|
||||
|
||||
|
|
|
@ -3050,6 +3050,7 @@ to handle."
|
|||
(default (default-log-file-name this-record)))
|
||||
(terminal-vt greetd-terminal-vt (default "7"))
|
||||
(terminal-switch greetd-terminal-switch (default #f))
|
||||
(source-profile? greetd-source-profile? (default #t))
|
||||
(default-session-user greetd-default-session-user (default "greeter"))
|
||||
(default-session-command greetd-default-session-command
|
||||
(default (greetd-agreety-session))))
|
||||
|
@ -3063,12 +3064,14 @@ to handle."
|
|||
(define (make-greetd-terminal-configuration-file config)
|
||||
(let*
|
||||
((config-file-name (greetd-config-file-name config))
|
||||
(source-profile? (greetd-source-profile? config))
|
||||
(terminal-vt (greetd-terminal-vt config))
|
||||
(terminal-switch (greetd-terminal-switch config))
|
||||
(default-session-user (greetd-default-session-user config))
|
||||
(default-session-command (greetd-default-session-command config)))
|
||||
(mixed-text-file
|
||||
config-file-name
|
||||
"source_profile = " (if source-profile? "true" "false") "\n"
|
||||
"[terminal]\n"
|
||||
"vt = " terminal-vt "\n"
|
||||
"switch = " (if terminal-switch "true" "false") "\n"
|
||||
|
|
Reference in New Issue