Problem Change Port

[random1234999]

Hello, I downloaded the server files for SkyFactory 3.
But now my problem is that I want to change the port through which you can join and I didn't find something in the internet. rip

can someone explain how to change the port?

 

[Ember Quill]

It should be a configuration option in the server.properties file. (See the Minecraft Wiki article about it)