mirror of https://github.com/sharkdp/bat
terminal title is only set if user opts in with --set_terminal_title flag
parent
9239b125b1
commit
b33e33fe26
Loading…
Reference in New Issue