Am 11.04.2018 um 16:11 schrieb Adrien Destugues:
11 avril 2018 15:56 "Alexander G. M. Smith" <agmsmith@xxxxxx> a écrit:Does that happen often enough to have an UI solution for this? I somehow doubt it. Adapting the config isn't that hard either, it should just be documented better.
Jérôme Duval wrote on Tue, 10 Apr 2018 20:12:57 +0200:Shouldn't the network preferences offer a way to do this?
You can modifiy the /system/settings/network/services file to add the port:Thanks, that's just what I needed.