.PROPERTIES ファイル拡張子

Minecraftプロパティファイル

開発元 Mojang Specifications
人気度
4.4  |  801 票
 

PROPERTIESファイルとは?

PROPERTIESファイルは、サンドボックス型ブロック建築ゲームであるMinecraftが使用する設定ファイルです。Minecraftのゲーム設定情報を、Java Properties形式のキーと値のペアによるプレーンテキスト形式で保存します。この形式はMinecraft以外でも使用されています。Minecraftでは、マルチプレイヤーサーバーやゲームのMODを設定するときに、PROPERTIESファイルを使用することがあります。

詳細情報

Microsoft Visual Studio Code 1.9で開いた.propertiesファイルのスクリーンショット
Microsoft Visual Studio Code 1.9で開いたPROPERTIESファイル

最も一般的なMinecraftのプロパティファイルはserver.propertiesです。このファイルには、マルチプレイヤーサーバーの設定データが保存されます。レベル名、モンスターのスポーン設定、許可されるプレイヤーの最大数、サーバーのポートとIPアドレスなどの情報が保存されます。

マルチプレイヤーサーバーの設定を変更する場合を除けば、Minecraftに関連してPROPERTIESファイルに遭遇することはほとんどないでしょう。具体的には、サーバーの実行に使用したserver.jarファイルと同じディレクトリにserver.propertiesファイルがあります(サーバーの初回起動時に生成されます)。

一般的な.PROPERTIESファイル名

server.properties - Minecraftマルチプレイヤーサーバーのすべての設定を保存する一般的なファイル。

PROPERTIESファイルの開き方

PROPERTIESファイルは、Microsoft Notepad(Windows)、Apple TextEdit(macOS)、gedit(Linux)など、任意のテキストエディタで開くことができます。また、ソースコードの表示や編集に役立つ機能を備えたMicrosoft Visual Studio Code(マルチプラットフォーム)などのソースコードエディタでも開くことができます。

PROPERTIESファイルのテキスト、特に等号の前にある「キー」のテキストを誤って変更すると、ファイルが破損する可能性があることに注意してください。また、server.propertiesファイルを編集した場合は、サーバーを再起動するか、/reloadコマンドを実行して、サーバーに変更を適用する必要があります。

File Viewer Plusで400種類以上のファイル形式を開けます。無料ダウンロード

PROPERTIESファイルを開く、または参照するプログラム

Java Propertiesファイル

開発元 Sun Microsystems
人気度
4.0  |  98 票
 

PROPERTIESファイルは、Javaアプリケーションがデータを単純なキーと値のペアとして保存するために使用する、テキストベースの設定ファイルです。Javaプログラムは、java.util.PropertiesAPI(またはこれに近いResourceBundle API)を使用してこれらのファイルを読み込み、環境設定、ファイルパス、機能フラグ、ユーザーに表示するテキストなどの設定を読み取れるようにします。各行は通常、key = valueの形式になっているため、ファイルを簡単に編集および管理できます。

詳細情報

Microsoft Visual Studio Code 1.1で開いた.propertiesファイルのスクリーンショット
Microsoft Visual Studio Code 1.1で開いたPROPERTIESファイル

設定データに加えて、PROPERTIESファイルはJavaアプリケーションのローカライズや翻訳にもよく使用されます。この用途では、各ファイルが特定の言語またはロケールを表します。たとえば、Bundle.properties(既定の言語)やBundle_sl.properties(スロベニア語)などです。言語間でキーは同じままですが、値にはアプリのインターフェースに表示される翻訳済みのテキストが含まれます。多くのPROPERTIESファイルでは、Unicodeエスケープシーケンス(たとえば\u0161)を使用して非ASCII文字を表します。これは、Javaのバージョンやツール間での互換性を確保するために長年使われてきた慣例です。

一部の設定システムとは異なり、JavaはPROPERTIESファイルを固定されたディレクトリに自動的に保存したり、入れ子になったフォルダーに変換したりしません。PROPERTIESファイルをどこに、どのように保存するかはアプリケーションによって完全に異なり、多くの場合、プログラムファイルと同じ場所、.JAR内、ZIPベースのインストーラー内、またはプロジェクトのリソースディレクトリ内に保存されます。開発者はjava.util.Properties APIまたはResourceBundle APIを通じてこれらのファイルに直接アクセスし、管理します。これにより、プロパティ値の読み込み、保存、更新を完全に制御できます。

PROPERTIESファイルの開き方

PROPERTIESファイルは、Microsoft Visual Studio Code、Sublime Text、Notepad++などのソースコードエディターで開くことができます。また、Microsoft Notepad、Apple TextEdit、geditなど、どのプレーンテキストエディターでもPROPERTIESファイルを開けます。

PROPERTIESファイルを編集するときは、key = valueの構造を保ち、Unicode文字を表す\uXXXXのようなエスケープシーケンスを削除しないことが重要です。また、エディターでPROPERTIESファイルを表示および編集することはできますが、通常はエンドユーザーが直接開くのではなく、Javaアプリケーションが読み込み、管理することを目的としています。

PROPERTIESファイルを開く、または参照するプログラム

Windows
無料
無料
Mac
Linux
無料
無料
Android

FileInfo.comによる検証済み

FileInfo.comチームは、このページに掲載されているすべてのファイル形式とソフトウェアについて独自に調査しました。私たちの目標は100%の正確性であり、検証済みのファイルタイプに関する情報のみを公開しています。

このページへの追加や更新をご提案いただける場合は、お知らせください。