Workspace Manager Configuration Files

The Workspace Manager gets information about the window menus, workspace menus, button bindings, and key bindings from a configuration file.

It uses one of the following files:

Personal file: HomeDirectory/.dt/ dtwmrc
System custom file: /etc/dt/config/language/ sys.dtwmrc
Built-in file: /usr/dt/config/language/sys.dtwmrc

The Workspace Manager searches for a configuration file in the order shown above, and uses the first one it finds.

For users who use more than one session language, a personal, language- dependent configuration file HomeDirectory/.dt/language/dtwrmc can be created that takes precedence over HomeDirectory/.dt/dtwmrc.

To Create or Modify a Personal Configuration File

The personal Workspace Manager configuration file is HomeDirectory/.dt/dtwmrc. If this file exists, it is the file used.

Double-click Edit Dtwmrc in the Desktop_Tools application group.
If you already have a personal dtwmrc file, it is loaded into the editor. If not, sys.dtwmrc is copied to HomeDirectory/.dt/dtwmrc, which is then loaded into the editor.
Edit the file.
Exit the editor.
The file is saved as your personal dtwmrc, regardless of its original source.

To Create a System-Wide Configuration File

The system-wide Workspace Manager configuration file is /etc/dt/config/language/sys.dtwmrc.

Copy /usr/dt/config/language/ sys.dtwmrc to /etc/dt/config/language/sys.dtwmrc.




	NOTE: This file is not used if `HomeDirectory``/.dt/dtwmrc` exists.

To Include (Source In) Other Files

Use the syntax:
include { path path ... }

For example, the following lines source in the file /users/ellen/mymenu:

include
{
   /users/ellen/mymenu
}

Include statements are useful for providing additional functionality without copying the entire configuration file. For example, a user might want to create a new key binding without having to administer the entire configuration file. The user can create a file HomeDirectory/.dt/dtwmrc with this content:

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"
  ...
}

To Restart the Workspace Manager

The Workspace Manager must be restarted in order for changes made to the configuration file to take effect.

Choose Restart Workspace Manager from the Workspace menu (press mouse button 3 when the pointer is on the backdrop).

Workspace Manager Configuration Files

Technical documentation

» Table of Contents

» Index

To Create or Modify a Personal Configuration File

To Create a System-Wide Configuration File

To Include (Source In) Other Files

To Restart the Workspace Manager