Kovid Goyal bc873ad838

bash shell integration: To title and cursor escape codes at end of PS1/PS0 so that they override pre-existing ones ...

This is needed because some distros like Debian patch the default bashrc
to set a user@host:/pwd style title which is extremely unsuitable for
kitty.

2022-01-30 11:13:46 +05:30

..

kitty.bash

bash shell integration: To title and cursor escape codes at end of PS1/PS0 so that they override pre-existing ones

2022-01-30 11:13:46 +05:30