mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-27 10:41:58 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
9989edbe42c7c0b137a580f9ab7b08fe07614410
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