On Thu, Aug 16, 2018 at 2:50 PM Jeroen Demeyer <[email protected]> wrote: > > On 2018-08-16 14:30, Erik Bray wrote: > > In the meantime I think we should remove that warning, or at least > > have a way to disable it, as it's clearly confusing to users. > > *NOT* having the warning is also confusing to users (that's why it was > added in the first place). So if the warning is not clear, we should > instead rephrase it to be clearer.
None of this is scientific here, so I'm not making any objective claims. But here we had a case of multiple users being confused by this (and I do mean "users" in the strictest sense of people who have never done any development on Sage and don't necessarily have any immediate intention of doing so). Whereas that message was added in https://trac.sagemath.org/ticket/12698 because *one* person was confused by this, and in the context of doing development work on Sage--specifically trying to install the sage-gcc package--which is not something most users will be doing. Also, the issue as you explained it had something to do with sage-env setting LD_LIBRARY_PATH, which it doesn't do anymore, at least not on Linux. I think you're right though that there are potential areas where it can be problematic, but Vincent's experience seems to make it clear that it's more unhelpful than helpful, and I'm not sure what a better, less confusing wording would be. So I would just remove it outright unless there's some clear reason it's still relevant. As a follow-up, I would like to propose that `sage -i` *should* always work from within the Sage shell, at least for installing packages that are not installed by default. If that means it needs to mess around with environment variables appropriately then it should do so. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
