Generalities

The general format of JSON configuration files is the following:

[
    {
        "key_1": value_1,
        "key_2": value_2,
        ...
        "key_N": value_N
    },
    ...
    {
        "key_1": value_1,
        "key_2": value_2,
        ...
        "key_N": value_N
    }
]

NB:

• the file must be encoded in utf-8

• the whole file is included between square brackets [ ... ]

• each entry of the list is included between braces { ... } and separated from the next by a coma

• each entry contains a list of key–value pairs separated by comas, in an arbitrary order

• key and value are separated by a colon :

• the key is always a string between double quotation marks "..."

• the value may be a string between double quotation marks, or one of the Boolean keywords true and false

• inside each string, the backslash \ and the double quotation marks " must be preceded (“escaped”) by a backslash; line break and tabulation are obtained with \n and \t respectively; the notation \uDDDD (where each D represents a digit) is accepted for Unicode characters.

• Certain keys have a default value and are thus optional; the others are compulsory.