UV Manual: Command Line Options and User Customization
Warning
This page is under construction.
The UV system is customizable in several different ways, some of which are possible due to the modular system structure based on Tcl/Tk:
- Command Line Options
- make it possible to set system parameters when starting the UV system,
- User Specific Resource Scripts
- provide a means to add to or to modifiy the appearance or functionality
of the UV system,
- Customized Interface Scripts
- can be used to build alternative user interfaces for the UV shell.
Command Line Options
When starting the UV system (typically by invoking the
uv2 script in the directory where the
UV system is installed) the following command line options can be
supplied as well:
-mem <num>
- this option determines how much memory is given to UV. The number of
BDD nodes allocated is 2^<num>, the default value for
<num> is 16. The system imposes a limit of 25 for the
value of <num> (which corresponds to a memory requirement
of 1GB for the BDD nodes alone).
-notify (ask |
on |
off)
- this option sets the behavior of the
author notification feature depending on the argument:
ask
- the selection dialog is displayed allowing an interactive selection
of the desired behavior,
on
- the notification feature is enabled, i.e. a mail message is sent for
the current and any subsequent execution (until the feature
is disabled again),
off
- the notification feature is disabled,i.e. no mail messages are sent
(until the feature is enabled again).
User Resource Scripts
As part of the initialization of the uvwish program, the
user's home directory is checked for a Tcl script named
~/.uvwishrc. If it is present it is executed.
Alternative User Interfaces
After the uvwish program is initialized, the shell environment
variable UVINIT is checked. If it is not set, the
uvwish.tk script in the UV directory is executed, which sets
up the standard graphical user interface.
If, however, the UVINIT environment variable is set, its value
is taken as a script name that is executed instead of the standard
uvwish.tk script. Thus it is possible for users to define their
own user interfaces to the UV system.
[Go back to the Manual Contents Page]
This page was last updated on 03-Nov-1995.
markus@cs.utexas.edu