DVT e Language IDE User Guide
Rev. 24.1.5, 13 March 2024

38.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>