Bug or feature ? Edited project-generated targets are saved

[Alexander Neundorf]

On Samstag, 10. Februar 2024 11:51:06 CET Kåre Särs wrote:
> Hi,
> 
> On torsdag 8 februari 2024 23:39:35 EET Alexander Neundorf wrote:
...
> > Or, maybe store a hash of the targets as they come from the project
> > plugin,
> > store the hash together with the override, and only use the override if
> > the> targets from the project plugin still have the same hash ?
> > 
> > Something else ?
> 
> Like I answered in the previous thread, The feature makes it possible to not
> use sessions and still save build commands. Without this feature I would
> say that the build-plugin becomes a real pain to use if you don't use
> sessions and your project does not give you build commands. And I would say
> that is so far probably 99.9% of all git-based projects...

Ok.

> That said I think it could be considered a bug that an updated project-
> configuration does not show up.... That should be handled in some better
> way.
> 
> The auto-generated targets should probably be read-only.

They could get a "generated" flag in their configuration ?
Having them not read-only, but not saved would be also Ok for me, maybe 
actually better. When necessary, I (as a user)  could change the number for "-
j" temporarily, or add a "-k" or stuff like that.

Alex