From d7263b8c51c83dc68006b6ae29feaee83b8d88b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Av=C3=A9?= <email@thomasave.be>
Date: Sun, 17 Sep 2023 20:54:52 +0200
Subject: [PATCH] Save PID of SSH connection

---
 zsh/.zshrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/zsh/.zshrc b/zsh/.zshrc
index 5f62286..b43400d 100644
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -167,6 +167,11 @@ function o () {
 	xdg-open "$1" &!
 }
 
+if [ "$SSH_CLIENT" ]
+then
+    source_port=$(echo $SSH_CLIENT | awk '{ print $2 }')
+    echo $$ > /tmp/ssh_session_$source_port
+fi
 
 if [[ "$TERM" == (Eterm*|alacritty*|aterm*|gnome*|konsole*|kterm*|putty*|rxvt*|screen*|tmux*|xterm*) ]]; then
 	add-zsh-hook -Uz precmd xterm_title_precmd