We are planning on making our own ports server in the lab room. But we don't know how to change where the operating system retrieves them. Our local server might not have a domain name so if it's possible to make the retrieval URL into an ip address instead of a name then that would be great.