Reset icon name and window title when leaving shell

[andreas-gruenbacher]

When entering the mock shell, mock sets the terminal icon name and window title to "", or whatever else the configuration file says.

That icon name and window title isn't reset when leaving the shell, so the title will stay the same until something else resets it.

When leaving the shell, mock should do printf "\033]0;\007" to reset the terminal icon name and window title.

[praiskup]

Thank you for the report. We have to check if mock runs in the terminal first, right? To avoid unwanted output on possibly-parsed stdout.

[andreas-gruenbacher]

Thank you for the report. We have to check if mock runs in the terminal first, right? To avoid unwanted output on possibly-parsed stdout.

There ought to exist a check that prevents mock from setting the title when it's inappropriate, right? The same condition should apply for resetting the title ...

[praiskup]

Have you already checked that this is done by mock?

[andreas-gruenbacher]

The window title mock uses by default is <mock-chroot>; see the PROMPT_COMMAND environment variable.

I'm only running into this issue on systems that don't set the window title themselves.

A command like mock --shell cmd, with a specific command to run, doesn't use PROMPT_COMMAND, so it also doesn't set the window title.