-gui [Optional] Run Verissimo in GUI mode.
By default Verissimo will be run in the DVT IDE for Eclipse.
-workspace <dir> [Optional] Directory of the eclipse workspace when running Verissimo in GUI Mode.
Default value: dvt_verissimo_ws.XXXXX (temporary eclipse directory).
Only use when -vscode is not specified.
-eclipsespace <dir> [Optional] Directory of the Eclipse configuration and user area.
Default value: /home/user/.eclipse.
Only use when -vscode is not specified.
-vscode [Optional] Run Verissimo in the DVT IDE for VS Code.
-noexit [Optional] Do not exit until DVT IDE is closed.
Only use when -gui or -vscode is specified.
-project <dir> [Optional] Directory of the project to be created when running Verissimo in GUI Mode.
Default value: dvt_verissimo_project.XXXXX (temporary project directory).
Only use when -gui or -vscode is specified.
-project_name <name> [Optional] Name of the project to be created when running Verissimo in GUI Mode.
Default value: project.
Only use when -gui or -vscode is specified.
-force [Optional] Overwrite existing project when running Verissimo in GUI Mode.
Only use when one of -project, -project_name is specified.