Problems with changes in the remote hostname

Hi,

I am accessing an HPC facility remotely using ssh.=C2=A0 This involves=20
negotiating a security gateway machine=C2=A0(security.gateway.net) from whi=
ch=20
I can log on to one of the front end machines for the HPC system.=C2=A0 The=
re=20
are 3 front end machines providing facilities for compiling and=20
submitting jobs.=C2=A0 These machines are called; login1.machinename.networ=
k,=20
login2.machinename.network and login3.machinename.network.=C2=A0 These name=
s=20
are only valid on the internal network of the HPC system.=C2=A0 Once logged=
=20
on to any of these 3 machines, my environment is identical.=C2=A0 The files=
=20
and filesystems are the same, irrespective of which front end machine I=20
am allocated.

I have ssh set up with a ProxyJump that logs me on to the security=20
gateway machine and this machine then allocates me one of the 3 front=20
end machines.=C2=A0 I appear to have no say in the machine allocated.=C2=A0=
 =C2=A0The=20
ssh config file looks like this;

Host remotemachinename
 =C2=A0 =C2=A0User john
 =C2=A0 =C2=A0ProxyJump [email protected]

ssh remotemachinename works without a problem.

My profile looks like this;

sshargs =3D -C
times =3D true
servercmd=3D~/bin/unison
root =3D /home/john
root =3D ssh://john@remotemachinename/scratch/john

I have been running unison successfully for a while, but suddenly it=20
stopped working.=C2=A0 With an error that said;=C2=A0 No archives available=
....=C2=A0=20
The remote machine is given as //login3.machinename.network.=C2=A0 When I=
=20
look at the archive that I already have, with "head -n3" it reports;

Archive for root //mylocalmachine/home/john synchronizing roots=20
//mylocalmachine/home/john, //login1.machinename.network//mnt/scratch/john

The program is doing the right thing, but I would like to be able to set=20
the remote hostname in the archive.=C2=A0 I had a look at rootalias but=20
without success.

Do you have any other suggestions.=C2=A0 I am using unison version 2.53.7=
=20
(ocaml 5.2.0)

Thanks
John



To unsubscribe from this group and stop receiving emails from it, send an e=
mail to [email protected].