From b1d16a2300c99fd6bf847b6b3374280f9aafa87d Mon Sep 17 00:00:00 2001 From: wm4 Date: Mon, 25 May 2020 20:37:37 +0200 Subject: player: add --term-title option This simply printf()s a concatenation of the provided string and the relevant escape sequences. No idea what exactly defines this escape sequence (is it just a xterm thing that is now supported relatively widely?), and this simply uses information provided on the linked github issue. Not much of an advantage over --term-status-msg, though at least this can have a lower update frequency. Also I may consider setting a default value, and then it shouldn't conflict with the status message. Fixes: #1725 --- DOCS/man/options.rst | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'DOCS') diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 9410ebd2fa..95cd12a7b3 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -4429,6 +4429,15 @@ Terminal Print out a custom string during playback instead of the standard status line. Expands properties. See `Property Expansion`_. +``--term-title=`` + Set the terminal title. Currently, this simply concatenates the escape + sequence setting the window title with the provided (property expanded) + string. This will mess up if the expanded string contain bytes that end the + escape sequence, or if the terminal does not understand the sequence. The + latter probably includes the regrettable win32. + + Expands properties. See `Property Expansion`_. + ``--msg-module`` Prepend module name to each console message. -- cgit v1.2.3