Add misc.zsh

This commit is contained in:
ItsDrike 2024-03-26 00:38:19 +01:00
parent 5327c11dc9
commit d8e718c1d4
Signed by: ItsDrike
GPG key ID: FA2745890B7048C0
2 changed files with 8 additions and 0 deletions

View file

@ -0,0 +1,7 @@
# Foot terminal uses this sequence to identify a command execution
# that way it's possible to use ctrl+shift+z/x to jump between commands
if [ "$TERM" = "foot" ]; then
precmd() {
print -Pn "\e]133;A\e\\"
}
fi