From: Andreas Schwab <schwab@linux-m68k.org>
Date: Tue, 16 Mar 2021 19:55:18 GMT
Subject: Re: GIT_SSH and mirror not working with git 2.30.1
Message-ID: <87r1keyiu1.fsf@igel.home>
In-Reply-To: <e39d23615e084671965fc96174ac881e@lanl.gov>

On Mär 16 2021, Lamborn, Peter Craig wrote:

> workstation$ cat ssh-hop.sh
> #!/bin/bash
>   
> MACHINE_REGEXP="<...>"
>   
> if [[ $1 =~ $MACHINE_REGEXP ]]; then
>   
>   exec ssh <gateway> ssh "$@"
>   
> else
>   exec ssh "$@"
> fi

FWIW, it might be easier to use the ProxyJump configuration setting of
ssh instead.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."