Customize executable etc names for Eclipse ESCET product
Currently, we have eclipse.exe, eclipsec.exe, eclipse, eclipse.ini, etc. This can be customized. The Eclipse Installer for instance, on Windows, has eclipse-inst.exe, eclipse-instc.exe and eclipse-inst.ini.
Things to consider:
- It may be nice to replace
eclipsebyeclipse-escetin those names. - We should check whether/how this affects the command line scripts, documentation (e.g. installation and first launch instructions), etc.