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 gefundene wird verwendet.

Wenn ein Benutzer mehr als eine Sitzungssprache 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 . Wenn diese Datei vorhanden ist, wird sie verwendet.

1. Doppelklicken Sie in der Anwendungsgruppe 'Desktop_Tools' 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 dann geladen.

2. Bearbeiten Sie die Datei.

3. Verlassen Sie den Editor.

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

Systemweite Konfigurationsdateien anlegen

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

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

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

Weitere Dateien einbinden

Richten Sie sich nach folgender 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).