kitty: allow not setting shell_integration
This allows better support for using kitty's built-in shell integration method by setting `shellIntegration.mode' to `null', which makes it not be set at all in the config file and disables modification to shell initialization scripts by default. If this is used, the user should set `settings.shell_integration' instead (if shell integration is desired), which receives no special handling.
This commit is contained in:
parent
a3c9e88177
commit
fc3cd1e408
4 changed files with 41 additions and 9 deletions
|
|
@ -0,0 +1,8 @@
|
|||
# Generated by Home Manager.
|
||||
# See https://sw.kovidgoyal.net/kitty/conf.html
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue