diff options
author | Nicholas L <nicholas-l@users.noreply.github.com> | 2020-10-29 21:40:32 +0000 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-10-30 08:04:14 +0100 |
commit | 3acfe790b94bac518d19cb75540ba56a83976d36 (patch) | |
tree | 46cf35dceb4b9fe92f32d4965ac16bf6d889f73b | |
parent | 877d9120c90743d9f837e45bf89cf5f2ee50fb11 (diff) |
Add extra themes help to output
-rw-r--r-- | src/bin/bat/main.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/bin/bat/main.rs b/src/bin/bat/main.rs index 50c39371..0be0de7e 100644 --- a/src/bin/bat/main.rs +++ b/src/bin/bat/main.rs @@ -205,6 +205,14 @@ pub fn list_themes(cfg: &Config) -> Result<()> { writeln!(stdout, "{}", theme)?; } } + writeln!( + stdout, + "Further themes can be installed to '{}/themes', \ + and are added to the cache with `bat cache --build`. \ + For more information, see:\n\n \ + https://github.com/sharkdp/bat#adding-new-themes", + config_file().to_string_lossy() + )?; Ok(()) } |