mirror of
https://github.com/kovidgoyal/kitty
synced 2026-06-09 15:08:13 +02: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