dset
Changes or views CLI variables
Format
Sets a CLI variable
dset debugger-var value
Displays the current value of a CLI variable
dset debugger-var
Sets the default for a CLI variable
dset -set_as_defaultdebugger-var value
Displays the current values of all the CLI variables in a debugger namespace. Using dset with no argument displays all the CLI variables in the global name space.
dset debugger-namespace
Arguments
debugger-var
Name of a CLI variable.
value
Value to be assigned to debugger-var.
debugger-namespace
Name of a CLI namespace. E.g., TV::GUI::. Note that you need to type the double colons at the end of the namespace name to indicate to Tcl that this is a namespace name rather than a variable name.
-set_as_default
Sets the value to use as the variable’s default. This option is most often used by system administrators to set site-specific defaults in the global .tvdrc startup script. Values set using this option replace the CLI built-in default.
Description
The dset command sets the value of a CLI variable to a string. With no new value, the current value is returned. If no variable is specified, all variables in the global namespace are displayed with their values.
For a list of ProductNameGeneric variables and their meanings, type
help variables in the Command Line window. ProductNameGeneric variables are described in more depth in
Chapter 5, "TotalView Variables".
The TotalView state variables are divided into several TCL namespaces. The most commonly used variables are in the global namespace. So to view the LINES_PER_SCREEN variable, for example, which is in the global namespace, you simply enter:
d1.<> dset LINES_PER_SCREEN
AUTO
For the other namespaces, the namespace for a variable must be included in the name. So to view the platform variable, which is in the TV:: namespace, you would enter:
d1.<> dset TV::platform
linux-x86-64
To view all variables in a namespace, enter the namespace name including the trailing ::. For example:
d1.<> dset TV::
TV::ask_on_dlopen true
TV::auto_array_cast_bounds {[10]}
TV::auto_array_cast_enabled false
...
Wild cards can be used to view a subset of the variables. The * wildcard matches any string, including “:”, so to view all variables in all namespaces, you could enter:
d1.<> dset *
To view all variables with the string “font” in them you could enter:
d1.<> dset *font*
TV::GUI::display_font_dpi {}
TV::GUI::fixed_font fixed
TV::GUI::fixed_font_family {}
TV::GUI::fixed_font_size {}
TV::GUI::font 7x13bold
...
Using -set_as_default
When you press a default button in one of the tabs of the File > Preferences dialog box, TotalView reinitializes the settings to their default values. This happens even if you have set oneor more values in your tvdrc file. Settings in tvdrc do not change what TotalView thinks the default is, so it still changes the settings back to their defaults for the current session. However, the next time you invoke TotalView, TotalView will again use the values in your tvdrc.
You can tell TotalView that the values set in your tvdrc file are the defaults if you use the ‑set_as_default option. Now when you press a default button, TotalView will use the tvdrc value instead of the product-defined defaults.
If your TotalView administrator sets up a global .tvdrc file, TotalView reads values from that file and merges them with your preferences and other settings. If the value in the .tvdrc file changes, TotalView ignores the change because it has already set a value in your local preferences file. If the administrator uses the -set_as_default option, you can be told to press the default button to get the changes. If, however, the administrator doesn't use this option, the only way to get changes is by deleting your preferences file.
Examples
dset PROMPT "Fixme% "
Sets the prompt to Fixme% followed by a space.
dset VERBOSE
Displays the current setting for output verbosity.
dset EXECUTABLE_PATH ../test_dir;$EXECUTABLE_PATH
Places ../test_dir at the beginning of the previous value for the executable path.
dset -set_as_default TV::server_launch_string {/use/this/one/tvdsvr}
Sets the default value of the TV::server_launch_string. If you change this value, you can later select the Defaults button within the File > Preferences Launch String page to reset it to its original value.
dset TV::GUI::fixed_font_size 12
Sets the TotalView GUI to display information using a 12-point, fixed-width font. Commands such as this are often found in a startup file.
Related Topics