diff options
| author |  Carlo Marcelo Arenas Belón <carenas@gmail.com> | 2021-10-05 00:46:47 -0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-10-06 08:53:00 -0700 |
| commit | e22b245ea576bf1787284971b467f45f45045f97 (patch) | |
| tree | bd722bf454bef4e29ced13c9d6cb11efda44668f /mergetools | |
| parent | Git 2.33 (diff) | |
| download | tgif-e22b245ea576bf1787284971b467f45f45045f97.tar.xz | |
terminal: teach git how to save/restore its terminal settings
Currently, git will share its console with all its children (unless
they create their own), and is therefore possible that any of them
that might change the settings for it could affect its operations once
completed.
Refactor the platform specific functionality to save the terminal
settings and expand it to also do so for the output handler.
This will allow for the state of the terminal to be saved and
restored around a child that might misbehave (ex vi) which will
be implemented next.
Signed-off-by: Carlo Marcelo Arenas Belón <carenas@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'mergetools')
0 files changed, 0 insertions, 0 deletions