mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-02-05 04:06:08 -05:00
doc: foot.ini: put ‘shell’, ‘login-shell’ and ‘term’ first
This commit is contained in:
parent
c2be3408ed
commit
e8b673e7b2
1 changed files with 13 additions and 13 deletions
|
|
@ -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_.
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue