From e0d511b30595375d49fb162aa494691bececb24b Mon Sep 17 00:00:00 2001 From: Wolfram <71720167+elem74@users.noreply.github.com> Date: Wed, 2 Apr 2025 20:26:15 +0200 Subject: [PATCH] Delete settings.ini --- settings.ini | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 settings.ini diff --git a/settings.ini b/settings.ini deleted file mode 100644 index 0d29892..0000000 --- a/settings.ini +++ /dev/null @@ -1,37 +0,0 @@ -; ------------ Einstellungen für den DHALL-Generator ------------ -; Einstellung aktiv = True -; Einstellung inkativ = False - -[generator] -; Verwendung mehrer Domänen. Bei Verwendung mehrer Domänen werden wird für jede Domäne ein Manager erstellt -multi_domains = False - -; Erstellung einer Benutzerrolle für die gesamte Werkstatt. (Es werden keine Benutzerrollen für Unterbereiche/ Bereiche erstellt) -domain_user = True - -; Manager-Rolle für die Domäne erstellen. -manager_domain = True - -; Manager-Rolle für jeden Bereich erstellen. -manager_area = False - -; Spalte "Unterbereich Manager" der CSV beachten (True) der nicht (False). -manager_subarea = False - -; Erzeugt DHALL-Dateien für Rollen, Maschinen, Aktoren und Aktorenverbindungen -fa_dhall_directory = /etc/bffh/ - -; Anzeige aller erzeugten Maschinendaten -show_machines = False - -; Anzeige aller erzeugten Rollendaten -show_roles = False - -; Kennzeichnung für Administrator-Rollen, steht am Anfang des Namens der Rolle. -string_adminhandle = Admin - -; Kennzeichnung für Manager-Rollen, steht am Anfang des Namens der Rolle. -string_managerhandle = Manager - -; Kennzeichnung für Benutzer-Rollen, steht am Anfang des Namens der Rolle. -string_userhandle = Benutzer