diff options
author | Kirill Chibisov <contact@kchibisov.com> | 2023-09-02 00:39:43 +0400 |
---|---|---|
committer | Kirill Chibisov <contact@kchibisov.com> | 2023-09-04 02:25:53 +0400 |
commit | bcc90872dec5ef3628ed851dce3b51498261905f (patch) | |
tree | 2cf3aeaedc9d6a97c940ff6caa356f93b226dcdc /extra | |
parent | a6a47257a32f75ecd9b52ae27fc8c900e27f47ea (diff) | |
download | alacritty-bcc90872dec5ef3628ed851dce3b51498261905f.tar.gz alacritty-bcc90872dec5ef3628ed851dce3b51498261905f.zip |
Quote `None` consistently inside the man page
`None` must be inside the `"`, since it's a string value.
Diffstat (limited to 'extra')
-rw-r--r-- | extra/man/alacritty.5.scd | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/extra/man/alacritty.5.scd b/extra/man/alacritty.5.scd index f7b20721..b92231c0 100644 --- a/extra/man/alacritty.5.scd +++ b/extra/man/alacritty.5.scd @@ -35,10 +35,10 @@ Windows: _"powershell"_ *working_directory* <string> | "None" - Directory the shell is started in. When this is unset, or _None_, the + Directory the shell is started in. When this is unset, or _"None"_, the working directory of the parent process will be used. - Default: _None_ + Default: _"None"_ *live_config_reload* <boolean> @@ -499,12 +499,12 @@ This section documents the *[cursor]* table of the configuration file. *vi_mode_style* - If the vi mode cursor style is _None_ or not specified, it will fall back to + If the vi mode cursor style is _"None"_ or not specified, it will fall back to the active value of the normal cursor. See _cursor.style_ for available options. - Default: _None_ + Default: _"None"_ *blink_interval* <integer> |