工作区管理器配置文件

“工作区管理器”从配置文件得到有关窗口菜单、工作区菜单、按钮绑定以及键绑定的信息。

它使用下面的文件之一：

• 个人文件： HomeDirectory /.dt/dtwmrc

• 系统定制文件：/etc/dt/config/language /sys.dtwmrc

• 内置文件： /usr/dt/config/language /sys.dtwmrc

“工作区管理器”以上述次序搜索配置文件， 并使用最先找到的那个。

对于使用不止一个会话语言的用户，可以创建个人的、与语言相关的配置文件 HomeDirectory /.dt/language /dtwrmc，其优先级高于 HomeDirectory /.dt/dtwmrc。

创建或修改个人配置文件

个人的工作区管理器配置文件是 HomeDirectory /.dt/dtwmrc。 若该文件存在，则它就是所使用的文件。

1. 双击 Desktop_Tools 应用程序组中的 Edit Dtwmrc 。

   如果已有个人的 dtwmrc 文件，它就被装入编辑器。如果没有，那么 sys.dtwmrc 被复制到 HomeDirectory/.dt/dtwmrc 中，然后装入编辑器。

2. 编辑文件。

3. 退出编辑器。

   不管文件最初来源如何，它都被保存为个人 dtwmrc。

创建系统范围的配置文件

系统范围的“工作区管理器”配置文件是 /etc/dt/config/language /sys.dtwmrc。

将 /usr/dt/config/language /sys.dtwmrc 复制到 /etc/dt/config/language /sys.dtwmrc。

如果 HomeDirectory/.dt/dtwmrc 存在，则不使用此文件。

包括 (源) 其他文件

使用语法：

	include
 	{
   	   path
  	   path
 	  …
 	} 

例如，下面的行源在文件 /users/ellen/mymenu 中：

include  
	{    
  	/users/ellen/mymenu
  }

对于没有复制整个配置文件提供的附加功能而言，包括语句很有用。例如，用户可能想没有管理整个配置文件而创建新的键绑定。用户可以创建含有下面的内容的文件 HomeDirectory/.dt/dtwmrc：

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

重新启动工作区管理器

为了使对配置文件所作的更改生效，必须重新启动“工作区管理器”。

从“工作区”菜单选择“重新启动工作区管理器” (当指针落在背景上时，按鼠标按钮 3)。