Konfigurationsdateien des Workspace Managers

Informationen über die Fenstermenüs, Arbeitsbereichsmenüs, Tastaturbelegung und die Maustastenbelegung bezieht der Workspace Manager aus einer der Konfigurationsdateien.

Es handelt sich um folgende Dateien:

• Persönliche Datei: HomeVerzeichnis/.dt/dtwmrc

• Systemspezifische Anpassungsdatei: /etc/dt/config/sprache/sys.dtwmrc

• Integrierte Datei: /usr/dt/config/sprache/sys.dtwmrc

Die Suche nach einer Konfigurationsdatei erfolgt in der angegebenen Reihenfolge. Die zuerst ermittelte Datei wird verwendet.

Wenn ein Benutzer mehrere Sitzungssprachen verwendet, kann eine persönliche, sprachabhängige Konfigurationsdatei namens HomeVerzeichnis/.dt/sprache/dtwrmc angelegt werden. Diese hat dann Vorrang vor HomeVerzeichnis/.dt/dtwmrc.

Persönliche Konfigurationsdateien anlegen und ändern

Die persönliche Konfigurationsdatei für den Workspace Manager heißt HomeVerzeichnis/.dt/dtwmrc. Sofern diese Datei vorhanden ist, wird sie entsprechend verwendet.

1. Doppelklicken Sie in der Anwendungsgruppe 'Desktop_Werkzeuge' auf 'Dtwmrc bearbeiten'.

   Wenn bereits eine persönliche Datei dtwmrc vorliegt, wird diese in den Editor geladen. Andernfalls wird sys.dtwmrc nach HomeVerzeichnis/.dt/dtwmrc kopiert und erst anschließend geladen.

2. Bearbeiten Sie die Datei.

3. Beenden Sie den Editor.

   Die Datei wird als Ihre persönliche Datei dtwmrc gespeichert, unabhängig von der ursprünglichen Quelle.

Systemweite Konfigurationsdatei anlegen

Die systemweit gültige Konfigurationsdatei für den Workspace Manager verfügt über den Namen /etc/dt/config/sprache/sys.dtwmrc.

Kopieren Sie /usr/dt/config/sprache/sys.dtwmrc in /etc/dt/config/sprache/sys.dtwmrc.

Die Datei wird nicht verwendet, wenn HomeVerzeichnis/.dt/dtwmrc bereits vorhanden ist.

Weitere Dateien einbinden

Verwenden Sie folgende Syntax:

	include
 	{
   	   Pfad
  	   Pfad
 	  …
 	}

Beispielsweise bewirken die folgenden Zeilen die Einbindung der Datei /users/ellen/mymenu:

include
 	{
   	 /users/ellen/mymenu
 	}

Include—Anweisungen ermöglichen die Erweiterung der Funktionalität, ohne die gesamte Konfigurationsdatei zu kopieren. Angenommen, ein Benutzer möchte ein neues Tastenkürzel definieren, ohne die Konfigurationsdatei komplett zu bearbeiten. Er würde dann lediglich eine Datei HomeVerzeichnis/.dt/dtwmrc mit folgendem Inhalt erstellen:

include
 {
  /etc/dt/config/C/sys.dtwmrc
 }
Keys DtKeyBindings
 {
   Alt<Key>F5 root  f.menu  Applications

 }

Menu Applications
 {
   "GraphicsApp" f.exec "/usr/bin/GraphicsApp/GApp"
  …
 }

Workspace Manager neu starten

Änderungen an der Konfigurationsdatei wirken sich erst dann aus, wenn der Workspace Manager neu gestartet wird.

Wählen Sie 'Workspace Manager neu starten' aus dem Menü 'Arbeitsbereich' (klicken Sie mit Maustaste 3 in den Arbeitsbereich).