From 12d77a1e01e22360daa149bea2d0c73e9d00bdbc Mon Sep 17 00:00:00 2001 From: Dict Xiong Date: Tue, 12 Nov 2024 18:21:46 +0800 Subject: [PATCH] fix(riot): SSH_OPTIONS --- scripts/riot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/riot b/scripts/riot index dc09f12..5d23ba3 100755 --- a/scripts/riot +++ b/scripts/riot @@ -85,7 +85,7 @@ parse_remote() { USERNAME="" # optional SSH_OPTIONS="-o RequestTTY=yes" # optional if [[ "$RIOT_TRUST_CLIENT" == "1" ]]; then - SSH_OPTIONS='-o PermitLocalCommand=yes' + SSH_OPTIONS="$SSH_OPTIONS -o PermitLocalCommand=yes" if [[ "$(get_os_type)" != "msys" ]]; then test "$DFS_DRY_RUN" = "1" || mkdir -p ~/.ssh/master-socket SSH_OPTIONS="$SSH_OPTIONS -o ControlMaster=auto -o ControlPath=~/.ssh/master-socket/%C"