replace /home/something with /home/user

This commit is contained in:
Thomas Avé 2024-04-07 20:56:15 +02:00
parent 558b20509a
commit 8ffca7f6b5
1 changed files with 2 additions and 1 deletions

View File

@ -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"