From 8ffca7f6b514f8407d34d051672a9405ec1e355e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20Av=C3=A9?= Date: Sun, 7 Apr 2024 20:56:15 +0200 Subject: [PATCH] replace /home/something with /home/user --- .config/zsh/.zshrc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.config/zsh/.zshrc b/.config/zsh/.zshrc index d2d70e6..95f68ea 100644 --- a/.config/zsh/.zshrc +++ b/.config/zsh/.zshrc @@ -233,7 +233,8 @@ function o () { function run_waypipe() { SSH_SESSION_ID=$RANDOM - SSH_SESSION_ID=$SSH_SESSION_ID waypipe ssh -t $1 env REMOTE_PATH=\"$(pwd)\" SSH_SESSION_ID=$SSH_SESSION_ID "zsh --login" + REMOTE_PATH=$(echo $(pwd) | sed "s|/home/[a-z]*|\$HOME|g") + SSH_SESSION_ID=$SSH_SESSION_ID waypipe ssh -t $1 env REMOTE_PATH=\"$REMOTE_PATH\" SSH_SESSION_ID=$SSH_SESSION_ID "zsh --login" } alias mallorea="run_waypipe mallorea"