3 Apr
2023
3 Apr
'23
22:11
Bob Rogers wrote:
From: "jdd@dodin.org"
Date: Mon, 3 Apr 2023 21:35:10 +0200 Le 03/04/2023 à 21:04, Per Jessen a écrit :
Actually I meant:
ip_server = [user [ : password ] @ ] host [ : port]
I think ip_server is an error, the result is not an IP, but an url. I would say:
server_URL = [user [ : password ] @ ] host [ : port]
jdd
FWIW, the relevant RFC [1] calls this the "authority":
As does the man page Bengt started with. jdd@dodin.org wrote:
I think ip_server is an error, the result is not an IP, but an url.
You are over-interpreting things - read the man page. -- Per Jessen, Zürich (2.5°C) Member, openSUSE Heroes (2016 - present) We're hiring - https://en.opensuse.org/openSUSE:Heroes