Hi Samuel, Quoting Samuel Henrique (2024-11-29 01:53:56) > The option UNSHARE_MMDEBSTRAP_EXTRA_ARGS behaves a bit differently than one > would expect for an "extra_args" type of option.
do you have an example of other software which uses something similar to "extra_args" in the way you expect? > The manpage mentions there is a default value for this, which means that if an > user wants to, for example, make sure apt-cacher-ng is always used, the user > needs to copy the current default + apt-cacher-ng changes to their confs. > > It becomes harder to maintain, as the user needs to periodically check if the > default changed and update it in their confs. > > I would like for a solution which lets users set extra flags without > overriding > the defaults. This feature is marked as experimental for a reason. We can definitely change this. I wonder what the best interface would be? Is what you want a "append to defaults" option? The problem with an "append to default" option is, that now you need another option to change the default. And you also still need to periodically check what the current default is because your appending to the default will change depending on what the default actually is. Do you have a proposal in mind? Thanks! cheers, josch
signature.asc
Description: signature
