Skip to content

Settings: Preferences

Jump to bottom
Arshavir Ter-Gabrielyan edited this page Apr 10, 2021 · 6 revisions

Settings: Preferences

This block of settings contains the general preferences.

  • autoSave: Enable the automatic saving of a modified viper file.
  • logLevel: The verbosity of the output. 1: Default, 2: Info, 3: Verbose, 4: Debug, 5: LowLevelDebug
  • autoVerifyAfterBackendChange: Should a restart of the backend trigger an automatic re-verification of the open file?
  • showProgress: Use a progress bar to display the progress of running operations. The progress is shown in the status bar.
  • viperToolsProvider: A URL pointing to the operation system specific Viper Tools zip-file.

Default Settings:

"viperSettings.preferences": {
  "v": "664a574862b1",
  "autoSave": true,
  "logLevel": 5,
  "autoVerifyAfterBackendChange": true,
  "showProgress": true,
  "viperToolsProvider": {
    "windows": "http://viper.ethz.ch/downloads/ViperToolsReleaseWin.zip",
    "linux": "http://viper.ethz.ch/downloads/ViperToolsReleaseLinux.zip",
    "mac": "http://viper.ethz.ch/downloads/ViperToolsReleaseMac.zip"
  }
}

Clone this wiki locally