.PROPERTIES File Extension
Minecraft Properties File
Developer | Mojang Specifications |
Popularity |
4.4 | 789 Votes |
What is a PROPERTIES file?
A PROPERTIES file is a settings file used by Minecraft, a sandbox block construction game. It is saved in plain text and stores configuration information for the game. PROPERTIES files may be used for configuring a Minecraft multiplayer server or a game mod.
More Information
The most common Minecraft properties file is server.properties, which stores configuration data for a multiplayer server. It saves information such as the level name, monster spawning settings, the maximum allowed players, and the server port and IP address.
You will most likely only come across the PROPERTIES file if you want to modify the configuration of a multiplayer server. After editing the file, you must restart the server in order for the changes to be applied.
Common PROPERTIES Filenames
server.properties - Common file that stores all the settings for a Minecraft multiplayer server.
Programs that open or reference PROPERTIES files
Java Properties File
Developer | Sun Microsystems |
Popularity |
4.0 | 91 Votes |
More Information
Once PROPERTIES files have been loaded, the actual properties are persisted to the hard drive in a collection of nested files and folders that represent the hierarchy of key-value pairs. The files are saved to the $HOME/.properties/ directory by default.
You can access Java properties using the java.util.Properties API in your Java programs.