Skip to content

fix: handle custom SSH ports in ssh:// URLs #455

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Oct 9, 2025
Merged

fix: handle custom SSH ports in ssh:// URLs #455

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions assets/common.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ load_pubkey() {
local private_key_user=$(jq -r '.source.private_key_user // empty' <<< "$1")
local forward_agent=$(jq -r '.source.forward_agent // false' <<< "$1")
local passphrase="$(jq -r '.source.private_key_passphrase // empty' <<< "$1")"
local uri=$(jq -r '.source.uri // ""' <<< "$1")

(jq -r '.source.private_key // empty' <<< "$1") > $private_key_path

Expand All @@ -22,16 +23,31 @@ load_pubkey() {
StrictHostKeyChecking no
LogLevel quiet
EOF

# Handle ssh:// URLs with custom ports
if [[ "$uri" =~ ^ssh://([^@]+@)?([^:/]+):([0-9]+) ]]; then
local ssh_host="${BASH_REMATCH[2]}"
local ssh_port="${BASH_REMATCH[3]}"

cat >> ~/.ssh/config <<EOF

Host $ssh_host
Port $ssh_port
EOF
fi

if [ ! -z "$private_key_user" ]; then
cat >> ~/.ssh/config <<EOF
User $private_key_user
EOF
fi

if [ "$forward_agent" = "true" ]; then
cat >> ~/.ssh/config <<EOF
ForwardAgent yes
EOF
fi

chmod 0600 ~/.ssh/config
fi
}
Expand Down