2022-07-28 17:32:37 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2023-09-17 21:31:30 +02:00
|
|
|
RUNNING_SSH=false
|
2022-07-28 17:32:37 +02:00
|
|
|
CHILD_PID=$(pgrep -P $1)
|
2023-09-17 20:50:48 +02:00
|
|
|
|
2023-09-17 21:31:30 +02:00
|
|
|
[[ $(ps -p $CHILD_PID -o comm=) == "ssh" ]] && RUNNING_SSH=true
|
2022-07-28 17:32:37 +02:00
|
|
|
|
2023-09-17 21:31:30 +02:00
|
|
|
GRAND_CHILD_PID=$(pgrep -P $CHILD_PID)
|
|
|
|
[[ $? == 0 ]] && [[ $(ps -p $GRAND_CHILD_PID -o comm=) == "ssh" ]] && RUNNING_SSH=true && CHILD_PID=$GRAND_CHILD_PID
|
2022-07-28 17:32:37 +02:00
|
|
|
|
2023-12-02 00:03:50 +01:00
|
|
|
|
2023-09-17 21:31:30 +02:00
|
|
|
if [ $RUNNING_SSH == true ]; then
|
|
|
|
CLIENT=$(ps -p $CHILD_PID -o args --no-headers | awk '{ print $2 }')
|
|
|
|
PORT=$(ss -tnpa | grep ssh | grep "pid=$CHILD_PID" | awk '{ print $4 }' | grep -o '[0-9]*$')
|
|
|
|
alacritty -e ssh $CLIENT -t "cd \"\$(readlink -e /proc/\$(cat /tmp/ssh_session_$PORT)/cwd)\"; zsh --login"
|
|
|
|
else
|
2023-12-02 00:03:50 +01:00
|
|
|
if [ $(ps -p $1 -o comm=) == "alacritty" ]; then
|
|
|
|
CWD=$(readlink -e /proc/$CHILD_PID/cwd)
|
|
|
|
if [ $CWD != "" ]; then
|
|
|
|
alacritty --working-directory "$CWD"
|
|
|
|
else
|
|
|
|
alacritty
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
alacritty
|
|
|
|
fi
|
2023-09-17 21:31:30 +02:00
|
|
|
fi
|