-
-
Notifications
You must be signed in to change notification settings - Fork 526
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Meson: add sage cli #39015
base: develop
Are you sure you want to change the base?
Meson: add sage cli #39015
Conversation
8da18d6
to
99c45e8
Compare
I'd say |
The current version seems to work fine to launch sage, but fails at exit. Running
and trying with
and displays the banner again. Pressing |
Documentation preview for this PR (built with commit 01fef30; changes) is ready! 🎉 |
Meson currently doesn't install any of the scripts in
src/bin
. This is becauseHere, we reimplement a very small subset of the sage cli functionality in Python without any env hacks. At the moment only
--version
and the interactive sage shell are implemented.What would be other command that make sense in the context of meson? We might also want to use the chance and reconsider the naming/layout of some of the commands.
📝 Checklist
⌛ Dependencies