kitty/shell-integration
Kovid Goyal 4ca70bfa26
...
2022-05-04 13:21:17 +05:30
..
bash Also save command history before cloning in bash 2022-04-22 23:40:59 +05:30
fish ... 2022-04-18 14:51:15 +08:00
ssh ... 2022-05-04 13:21:17 +05:30
zsh zsh cloning: save history so that it is up-to-date in cloned shell 2022-04-22 23:34:34 +05:30