github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-05 06:30:28 +09:00
Code Issues Packages Projects Releases Wiki Activity

Insert few parts in options.md in backticks

Browse Source
This commit is contained in:
niten94
2025-01-21 17:23:44 +08:00
parent 4377e56e7e
commit 9e46a38536
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
runtime/help/options.md
View File

@@ -89,7 +89,7 @@ Here are the available options:
binary. binary.
The colorscheme can be selected from all the files in the The colorscheme can be selected from all the files in the
~/.config/micro/colorschemes/ directory. Micro comes by default with `~/.config/micro/colorschemes/` directory. Micro comes by default with
three colorschemes: three colorschemes:
You can read more about micro's colorschemes in the `colors` help topic You can read more about micro's colorschemes in the `colors` help topic
@@ -293,7 +293,7 @@ Here are the available options:
default value: `2` default value: `2`
* `parsecursor`: if enabled, this will cause micro to parse filenames such as * `parsecursor`: if enabled, this will cause micro to parse filenames such as
file.txt:10:5 as requesting to open `file.txt` with the cursor at line 10 `file.txt:10:5` as requesting to open `file.txt` with the cursor at line 10
and column 5. The column number can also be dropped to open the file at a and column 5. The column number can also be dropped to open the file at a
given line and column 0. Note that with this option enabled it is not possible given line and column 0. Note that with this option enabled it is not possible
to open a file such as `file.txt:10:5`, where `:10:5` is part of the filename. to open a file such as `file.txt:10:5`, where `:10:5` is part of the filename.
@@ -507,13 +507,13 @@ or disable them:
recent Git commit rather than the diff since opening the file. recent Git commit rather than the diff since opening the file.
Any option you set in the editor will be saved to the file Any option you set in the editor will be saved to the file
~/.config/micro/settings.json so, in effect, your configuration file will be `~/.config/micro/settings.json` so, in effect, your configuration file will be
created for you. If you'd like to take your configuration with you to another created for you. If you'd like to take your configuration with you to another
machine, simply copy the settings.json to the other machine. machine, simply copy the `settings.json` to the other machine.
## Settings.json file ## Settings.json file
The settings.json file should go in your configuration directory (by default The `settings.json` file should go in your configuration directory (by default
at `~/.config/micro`), and should contain only options which have been modified at `~/.config/micro`), and should contain only options which have been modified
from their default setting. Here is the full list of options in json format, from their default setting. Here is the full list of options in json format,
so that you can see what the formatting should look like. so that you can see what the formatting should look like.