1.2  The displays File

This file contains the current profile and the currently loaded displays for all profiles.

1.2.1  File Format

The file is in ASCII format where each entry takes one line.

The first entry contains the name of the currently active profile.

The following entries each contain a triple consisting of the unique display ID, the path of the display file, and the name of the profile which contains the display. The three values are separated by spaces.

1.2.2  Grammar

S             → PROFILE_ENTRY BODY
PROFILE_ENTRY → PROFILE '\n'
BODY          → LINE BODY | ε
LINE          → ID PATH PROFILE '\n'
ID            → <string>
PATH          → <string>
PROFILE       → <string>