mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-09 15:08:13 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
4d3e2a07d1c1f9f4af9f13bc67d6ca35d1b4fbaa
kitty/shell-integration/bash
History
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