next up previous contents
Next: umask MASK Up: Non-Extensions Previous: load PLUGIN   Contents

plugin PLUGIN command...

Executes command... defined by PLUGIN. This is the general way to configure options defined by plugins.



Zygo Blaxell 2003-03-04