diff -r a7513d0d451b -r 74e4dbb0fcd5 rust/rhg/src/ui.rs --- a/rust/rhg/src/ui.rs Mon May 29 16:47:39 2023 +0100 +++ b/rust/rhg/src/ui.rs Mon May 29 16:53:18 2023 +0100 @@ -221,6 +221,18 @@ } } +pub enum RelativePaths { + Legacy, + Bool(bool), +} + +pub fn relative_paths(config: &Config) -> Result { + Ok(match config.get(b"ui", b"relative-paths") { + None | Some(b"legacy") => RelativePaths::Legacy, + _ => RelativePaths::Bool(config.get_bool(b"ui", b"relative-paths")?), + }) +} + fn isatty(config: &Config) -> Result { Ok(if config.get_bool(b"ui", b"nontty")? { false