DVT VHDL IDE User Guide
Rev. 20.1.20, 25 June 2020
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>