The "new" Python-based CLI is actually almost a year old by now and was originally introduced in https://github.com/sagemath/sage/pull/39015 and since then extended and improved by various contributors but most notably by Anonio (thanks!).
Importantly, this updated CLI was already included in the stable Sage 10.7 release. In fact, it is the version you’ll get if you install the Sage 10.7 package from Arch Linux (https://archlinux.org/packages/extra/x86_64/sagemath/). I'm not aware of any major complains from the Arch users though a few minor issues still cropped up - eg https://github.com/sagemath/sage/pull/40872 fixes one such case. In any case, if you encounter any bugs or missing features I suggest you open an issue (or even better a PR) on Github, and I'm sure that they will be fixed soon. On Thursday, October 2, 2025 at 12:00:13 AM UTC+8 Antonio Rojas wrote: > El miércoles, 1 de octubre de 2025 a las 17:47:02 UTC+2, David Roe > escribió: > > I'm having trouble figuring out where this change was introduced. The > folder sage/venv doesn't exist in the repo, so presumably > sage/venv/bin/sage is copied from elsewhere during the build process, but I > wasn't able to figure out where in a few minutes of poking around. > Similarly, I don't see any obvious PR descriptions in 10.8beta5 changelog > <https://github.com/sagemath/sage/releases>. > David > > > It was introduced in beta2, not beta5, so quite early in the 10.8 > development cycle. The relevant PR is > https://github.com/sagemath/sage/pull/39030. In any case, saying that > something was changed "between two beta releases" is completely meaningless > in Sage: a beta is simply a weekly development snapshot, literally every > single change is done between two beta releases. > -- 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 view this discussion visit https://groups.google.com/d/msgid/sage-devel/8085fc16-a4d6-419c-bdc9-d022cae5c2d3n%40googlegroups.com.
