diff options
author | Oliver looney <oliverjlooney@gmail.com> | 2024-01-29 09:47:41 +0000 |
---|---|---|
committer | Oliver looney <oliverjlooney@gmail.com> | 2024-01-29 09:47:41 +0000 |
commit | 7f12989127839e07d3dcf5d9f3b154d0e2d7c661 (patch) | |
tree | f22d58290fca0ae7c7120c3bf0ffd81079d6200a | |
parent | 60e32cf8237abf96b3d6dc78de35b8e904b015f1 (diff) |
added set_terminal_title arg to clap_app.rs to fix ci errors
-rw-r--r-- | doc/long-help.txt | 6 | ||||
-rw-r--r-- | doc/short-help.txt | 2 | ||||
-rw-r--r-- | src/bin/bat/clap_app.rs | 7 |
3 files changed, 10 insertions, 5 deletions
diff --git a/doc/long-help.txt b/doc/long-help.txt index cb43e520..700f547b 100644 --- a/doc/long-help.txt +++ b/doc/long-help.txt @@ -50,9 +50,6 @@ Options: --diff-context <N> Include N lines of context around added/removed/modified lines when using '--diff'. - --set_terminal_title - Sets terminal title to filenames when using a pager. - --tabs <T> Set the tab width to T spaces. Use a width of 0 to pass tabs through directly @@ -163,6 +160,9 @@ Options: --acknowledgements Show acknowledgements. + --set_terminal_title + Sets terminal title to filenames when using a pager. + -h, --help Print help (see a summary with '-h') diff --git a/doc/short-help.txt b/doc/short-help.txt index 2318fa58..118dbce2 100644 --- a/doc/short-help.txt +++ b/doc/short-help.txt @@ -21,8 +21,6 @@ Options: Specify the name to display for a file. -d, --diff Only show lines that have been added/removed/modified. - --set_terminal_title - Sets terminal title when using a pager --tabs <T> Set the tab width to T spaces. --wrap <mode> diff --git a/src/bin/bat/clap_app.rs b/src/bin/bat/clap_app.rs index e8222a1d..3f83bf63 100644 --- a/src/bin/bat/clap_app.rs +++ b/src/bin/bat/clap_app.rs @@ -567,6 +567,13 @@ pub fn build_app(interactive_output: bool) -> Command { .action(ArgAction::SetTrue) .hide_short_help(true) .help("Show acknowledgements."), + ) + .arg( + Arg::new("set_terminal_title") + .long("set_terminal_title") + .action(ArgAction::SetTrue) + .hide_short_help(true) + .help("Sets terminal title to filenames when using a pager."), ); // Check if the current directory contains a file name cache. Otherwise, |