mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-04 13:42:33 +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