ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

cli: move default editor (pico) definition to config file

Browse source
This commit is contained in:
Martin von Zweigbergk 2023-08-10 09:26:17 -07:00 committed by Martin von Zweigbergk
parent b2101d15c8
commit 32b07d6b79
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
cli/src/cli_util.rs
View file

@ -2142,10 +2142,7 @@ pub fn get_new_config_file_path(
}
pub fn run_ui_editor(settings: &UserSettings, edit_path: &PathBuf) -> Result<(), CommandError> {
let editor: CommandNameAndArgs = settings
.config()
.get("ui.editor")
.unwrap_or_else(|_| "pico".into());
let editor: CommandNameAndArgs = settings.config().get("ui.editor").unwrap();
let exit_status = editor
.to_command()
.arg(edit_path)

1
cli/src/config/misc.toml
View file

@ -5,5 +5,6 @@
# Placeholder: added by user
[ui]
editor = "pico"
pager = { command = ["less", "-FRX"], env = { LESSCHARSET = "utf-8" } }
log-word-wrap = false