On Tue, 2022-03-22 at 03:44 -0700, Eric Gourgoulhon wrote:
>
> Maybe it is time to make it a standard package in Sage.
>
If so, please make it optional via a --disable-jupyterlab flag. (We
already have one for the standard notebook, --disable-notebook.)
Hijack, sorry: with these flags starting to accumulate, now would be a
good time to go back and make sense of our standard vs optional
designation. In most packages, anything that has a --disable flag is
de-facto optional, but the default (enabled or disabled) can be set
per-package. In sage, we use "optional" to mean "optional and disabled
by default." Historically "standard" has meant "not optional and
therefore always enabled," but more and more these days it means
"optional but enabled by default."
I think anything that can be disabled (such as jupyterlab) should be
"optional," but that we should be able to mark optional packages as
enabled by default. So the "optional" distinction would just mean "give
it a ./configure flag." This would avoid the semantic confusion of
"standard" packages that can be disabled via hand-written --disable
flags.