mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-07-08 13:50:19 +08:00
This is useless, since if you are doing manual shell integration anyway there is no point in running via the run-shell kitten. But, let's keep the pedants at bay. Fixes #7809