DVT VHDL IDE User Guide
Rev. 19.1.20, 7 June 2019
You might encounter situations in 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>