DVT SystemVerilog IDE User Guide
Rev. 23.1.12, 23 May 2023

43.7 How to start DVT Eclipse with a different eclipse.ini

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>