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