Merge pull request #272 from DarkKirb/add-kitty-everywhere

add kitty everywhere
This commit is contained in:
Charlotte 🦝 Delenk 2023-11-19 22:38:12 +01:00 committed by GitHub
commit f0c0fe4012
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -24,19 +24,12 @@ desktop: {pkgs, ...}: {
''
[[ ! -f ~/.p10k.zsh ]] || source ~/.p10k.zsh
''
+ (
if desktop
then ''
test -n "$KITTY_INSTALLATION_DIR" || export KITTY_INSTALLATION_DIR=${pkgs.kitty}/lib/kitty
export KITTY_SHELL_INTEGRATION=enabled
autoload -Uz -- "$KITTY_INSTALLATION_DIR"/shell-integration/zsh/kitty-integration
kitty-integration
unfunction kitty-integration
''
else ""
);
'';
plugins = [
];
};