mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-03 20:57:28 +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