php - .properties ファイルを配列に解析する

Question

Minecraft 用の server.properties ファイル用にある種の GUI を作成しようとしています。ファイルは次のようにレイアウトされています。

level-name: world
server-ip: 123.123.123

ファイルには、##properties.file などのようなものが 1 行に含まれている可能性もあり、これが混乱を招く可能性があります。

したがって、基本的には、それを読み取り可能な形式に分割する方法が必要です

Answer 1

このようなものがあなたのために働くはずです：

$file_path = '/some/path/to/properties/file.properties';
$lines = explode("\n", trim(file_get_contents($file_path)));
$properties = array();
foreach ($lines as $line) {
    $line = trim($line);

    if (!$line || substr($line, 0, 1) == '#') // skip empty lines and comments
        continue;

    if (false !== ($pos = strpos($line, ':'))) {
        $properties[trim(substr($line, 0, $pos))] = trim(substr($line, $pos + 1));
    }
}
print_r($properties);
// -> Array
// -> (
// ->     [level-name] => world
// ->     [server-ip] => 123.123.123
// -> )