DVT SystemVerilog IDE User Guide
Rev. 23.1.12, 23 May 2023
You might encounter situations when changing the default eclipse.ini configuration file is necessary, but you don't have write permissions over it. You can pass a different eclipse.ini file using laucnher.ini argument.
If you use DVT as plugin:
./eclipse --launcher.ini <location>
If you use the prepacked distribution:
./dvt.sh -eclipse_args --launcher.ini <location>