DevStudio always writes portal-ide.properties, which in turn activates portal-developer.properties. In some situations this is unwanted - e.g. to debug minifier filters etc.
portal-ide.properties is included and overwritten unconditionally - no manual settings in this file persist. Due to the use of include-and-override=portal-developer.properties, that file is always loaded last and cannot easily be deactivated.
A workaround is to edit, then writeprotect portal-ide.properties (chmod -w portal-ide.properties) - the server starts up fine with the changed settings. However, this is not obvious - this ticket is about making it more obvious:
Two suggested solutions (pick one)
- Provide a configuration for the server (either: what settings should IDE imply for the server, or just a boolean: Should portal-ide.properties be overwritten?).
An alternative solution - maybe a lot easier - is to make the workaround more obvious and generate this instruction into the comment that is located at the top of portal-ide.properties. Currently, only the timestamp of the file is included in the comment