From e8b673e7b2e19786f572c30cd83fa0482ec849bf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= Date: Thu, 7 Jan 2021 11:48:15 +0100 Subject: [PATCH] =?UTF-8?q?doc:=20foot.ini:=20put=20=E2=80=98shell?= =?UTF-8?q?=E2=80=99,=20=E2=80=98login-shell=E2=80=99=20and=20=E2=80=98ter?= =?UTF-8?q?m=E2=80=99=20first?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/foot.ini.5.scd | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/doc/foot.ini.5.scd b/doc/foot.ini.5.scd index 4bf40af2..d3d9b523 100644 --- a/doc/foot.ini.5.scd +++ b/doc/foot.ini.5.scd @@ -18,6 +18,19 @@ in this order: # SECTION: default +*shell* + Executable to launch. Typically a shell. Default: _$SHELL_ if set, + otherwise the user's default shell (as specified in + _/etc/passwd_). You can also pass arguments. For example + */bin/bash --norc*. + +*login-shell* + Boolean. If enabled, the shell will be launched as a login shell, + by prepending a '-' to argv[0]. Default: _no_. + +*term* + Value to set the environment variable *TERM* to. Default: _foot_. + *font*, *font-bold*, *font-italic*, *font-bold-italic* Comma separated list of fonts to use, in fontconfig format. That @@ -111,19 +124,6 @@ in this order: *geometry* Deprecated. Alias for *initial-window-size-pixels*. -*shell* - Executable to launch. Typically a shell. Default: _$SHELL_ if set, - otherwise the user's default shell (as specified in - _/etc/passwd_). You can also pass arguments. For example - */bin/bash --norc*. - -*login-shell* - Boolean. If enabled, the shell will be launched as a login shell, - by prepending a '-' to argv[0]. Default: _no_. - -*term* - Value to set the environment variable *TERM* to. Default: _foot_. - *title* Initial window title. Default: _foot_.