two local peers not connecting manually

--0000000000002565da06293def74
Content-Type: text/plain; charset="UTF-8"

Hello,

I recently joined the project gnunet.

Then I decided to read the tutorial documentation at
https://docs.gnunet.org/latest/developers/tutorial.html#how-to-connect-manually
and to run the commands:

gnunet-arm -c peer1.conf -s && gnunet-arm -c peer2.conf -s && echo
"$(gnunet-hello -c peer1.conf --export-hello)" | gnunet-hello -c peer2.conf
--import-hello

then I did

gnunet-core -s -c peer1.conf

and I still do not see the peer2. Could you tell me if I wrongly used these
commands please? I could even edit the handbook for the community. The
config files are there:

cat peer1.conf
[PATHS]
# Use this directory to store GNUnet data
GNUNET_HOME = ~/gnunet1/
[hostlist]
# prevent bootstrapping
SERVERS =
OPTIONS = -p
IMMEDIATE_START = NO



cat peer2.conf
[PATHS]
# Use this directory to store GNUnet data
GNUNET_HOME = ~/gnunet2/
GNUNET_TEST_HOME = ~/gnunet2/

[hostlist]
# prevent bootstrapping
SERVERS = http://localhost:8080/
PORT = 10000
OPTIONS = -p
IMMEDIATE_START = NO


I also have this global config:

cat ~/.config/gnunet.conf
[arm]
START_SYSTEM_SERVICES = YES
START_USER_SERVICES = NO

Best regards!

--0000000000002565da06293def74
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div>Hello,</div><div><br></div><div>I re=
cently joined the project gnunet. <br></div><div><br></div><div>Then I deci=
ded to read the tutorial documentation at <a href=3D"https://docs.gnunet.or=
g/latest/developers/tutorial.html#how-to-connect-manually">https://docs.gnu=
net.org/latest/developers/tutorial.html#how-to-connect-manually</a> and to =
run the commands:</div><div><br></div><div>gnunet-arm
 -c peer1.conf -s &amp;&amp; gnunet-arm -c peer2.conf -s &amp;&amp; echo
 &quot;$(gnunet-hello -c peer1.conf --export-hello)&quot; | gnunet-hello -c=
=20
peer2.conf --import-hello</div><div><br></div><div>then I did</div><div><br=
></div><div>gnunet-core -s -c peer1.conf</div><div><br></div><div>and
 I still do not see the peer2. Could you tell me if I wrongly used these
 commands please? I could even edit the handbook for the community. The=20
config files are there:<br></div><div><br></div><div>cat peer1.conf <br>[PA=
THS]<br># Use this directory to store GNUnet data<br>GNUNET_HOME =3D ~/gnun=
et1/<br>[hostlist]<br># prevent bootstrapping<br>SERVERS =3D<br>OPTIONS =3D=
 -p<br>IMMEDIATE_START =3D NO</div><div><br></div><div><br></div><div><br><=
/div><div>cat peer2.conf <br>[PATHS]<br># Use this directory to store GNUne=
t data<br>GNUNET_HOME =3D ~/gnunet2/<br>GNUNET_TEST_HOME =3D ~/gnunet2/<br>=
<br>[hostlist]<br># prevent bootstrapping<br>SERVERS =3D <a href=3D"http://=
localhost:8080/" target=3D"_blank">http://localhost:8080/</a><br>PORT =3D 1=
0000<br>OPTIONS =3D -p<br>IMMEDIATE_START =3D NO</div><div><br></div><div><=
br></div><div><div>I also have this global config:</div><div><br></div><div=
>cat ~/.config/gnunet.conf <br>[arm]<br>START_SYSTEM_SERVICES =3D YES<br>ST=
ART_USER_SERVICES =3D NO</div><div><br></div><div>Best regards!<br></div></=
div></div></div>

--0000000000002565da06293def74--