mirror of
https://github.com/kovidgoyal/kitty
synced 2026-06-09 23:54:20 +02:00
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.