espanso/src/edit.rs

57 lines
1.8 KiB
Rust
Raw Normal View History

2020-02-26 20:24:02 +00:00
/*
* This file is part of espanso.
*
* Copyright (C) 2020 Federico Terzi
*
* espanso is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* espanso is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with espanso. If not, see <https://www.gnu.org/licenses/>.
*/
use crate::config::ConfigSet;
2020-02-27 20:56:20 +00:00
use std::path::Path;
2020-02-26 20:24:02 +00:00
2020-02-27 20:56:20 +00:00
pub fn open_editor(config: &ConfigSet, file_path: &Path) -> bool {
2020-02-26 20:24:02 +00:00
use std::process::Command;
2020-02-27 20:56:20 +00:00
// Check if another editor is defined in the environment variables
let editor_var = std::env::var_os("EDITOR");
let visual_var = std::env::var_os("VISUAL");
// Prioritize the editors specified by the environment variable, otherwise use the config
let editor : String = if let Some(editor_var) = editor_var {
editor_var.to_string_lossy().to_string()
}else if let Some(visual_var) = visual_var {
visual_var.to_string_lossy().to_string()
}else{
config.default.editor.clone()
};
2020-02-26 20:24:02 +00:00
// Start the editor and wait for its termination
2020-02-27 20:56:20 +00:00
let status = Command::new(editor)
2020-02-26 20:24:02 +00:00
.arg(file_path)
.spawn();
if let Ok(mut child) = status {
// Wait for the user to edit the configuration
2020-02-27 20:56:20 +00:00
let result = child.wait();
2020-02-26 20:24:02 +00:00
2020-02-27 20:56:20 +00:00
if let Ok(exit_status) = result {
exit_status.success()
}else{
false
}
2020-02-26 20:24:02 +00:00
}else{
2020-02-27 20:56:20 +00:00
println!("Error: could not start editor at: {}", config.default.editor);
2020-02-26 20:24:02 +00:00
false
}
}