dbc_preferences
Name
dbc_preferences - command line editor for "jcontract.preferences"
Synopsis
dbc_preferences [options] [preferences_file]
Description
Command line interface to edit the contents of the "jcontract.preferences" file. See Jcontract Preferences for a list of the available preferences and their default values.
If "preferences_file" is omitted, dbc_preferences searches for a preferences file in the following locations (in the order listed):
- The location specified by the DBC_PREFERENCES environment variable.
- The "jcontract.preferences" file in your home directory.
- The "jcontract.preferences" files in the Jcontract installation directory.
The first preference file found will be used.
Options
If the command is invoked without options, the Jcontract Preferences GUI interface to the Jcontract preferences file will be started.
-reset
Resets all preference values to their default values.
-show
Prints the contents of the preferences file.
-set preference=value
Changes the preference value.
Example: $ dbc_preference -set Intrumentation.DefaultConcurrency=sequential
See Also
Jcontract Preferences
dbc_javac.
|