.properties ファイル拡張子
ファイルの種類1Minecraft Properties File
| 開発者 | Mojang Specifications |
| カテゴリー | ゲームファイル |
| フォーマット | Text |
何ですか PROPERTIES ファイル?
PROPERTIESファイルは、Sandboxブロック構築ゲームであるMinecraftによって使用される設定ファイルです。これはプレーンテキストで保存され、ゲームの設定情報を保存します。 PROPERTIESファイルは、MinecraftマルチプレイヤーサーバーまたはゲームMODを構成するために使用できます。
最も一般的なMinecraftのプロパティファイルはserver.propertiesです。これは、レベル名、モンスターの産卵設定、最大プレイヤー数、そしてサーバーのポートとIPアドレスといった情報を保存します。マルチプレイヤーサーバーの。ファイルを編集したら、変更を適用するためにサーバーを再起動する必要があります。
server.properties - Minecraftマルチプレイヤーサーバーのすべての設定を保存する共通ファイル。
ファイルの種類2Java Properties File
| 開発者 | Sun Microsystems |
| カテゴリー | 設定ファイル |
| フォーマット | Text |
.PROPERTIES オプション番号 2
Javaプログラムによって使用されるプロパティファイル。キーと値のペアのコレクションを含みます。 java.util.Properties APIを使用してJava仮想マシン（JVM）によってロードできます。アプリケーションからアクセス可能なさまざまなプログラム設定およびプロパティを格納するために使用されます。
PROPERTIESファイルがロードされると、実際のプロパティは、キーと値のペアの階層を表すネストされたファイルとフォルダーのコレクションとしてハードドライブに保持されます。ファイルはデフォルトで$ HOME / .properties /ディレクトリに保存されます。
Javaプログラムでjava.util.Properties APIを使用してJavaプロパティにアクセスできます。
| Windows |
|
| Linux |
|
| Macintosh |
|