Warnung: Ändern Sie die Datei role_<Rolle>.ini nicht. Wenn Sie einige Einstellungen ändern müssen, kopieren Sie die erforderlichen erweiterten Optionen aus dieser Datei in Ihre Datei user.ini , und ändern Sie die Einstellungen dort, oder ändern Sie die Einstellungen im Dialogfeld Erweiterte Optionen.
Die Datei role_<Rolle>.ini enthält erweiterte Optionen, die entsprechend den Rollenanforderungen in Ihrem lokalen Bereich eingestellt sind. Diese Einstellungen unterscheiden sich von den Umgebungseinstellungen in env_<Umgebung>.ini. In der Datei env_global_default.ini für die globalen Standardumgebungseinstellungen sind alle erweiterten Optionen aufgelistet. Die Einstellungen der erweiterten Optionen in role_<Rolle>.ini haben Vorrang vor denen in env_<Umgebung>.ini
