Minecraft wiki entry for Server.properties, associated text: The server.properties file is simply a normal text file with UTF-8 encoding, despite its extension, and can therefore be edited with any text editor such as Notepad for Windows, TextEdit for Mac, or nano and vim for Linux.