Re: GIT_SSH and mirror not working with git 2.30.1

From: Andreas Schwab <schwab@linux-m68k.org>
Date: Mar 16, 2021, 19:55 UTC
Message-ID: <87r1keyiu1.fsf@igel.home>
In-Reply-To: <e39d23615e084671965fc96174ac881e@lanl.gov>

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

Show 12 quoted lines

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