From b381c6918244020a35ed5fa6bd2ccf1428476bff Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 6 Feb 2026 12:16:40 -0500 Subject: [PATCH] sage.sh: move SAGE_SHARE here, and use an alias to launch sage This is a bit simpler than a wrapper script in ~/.local/bin. --- sage.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/sage.sh b/sage.sh index c9a7edd..892434a 100644 --- a/sage.sh +++ b/sage.sh @@ -2,12 +2,16 @@ # sage settings # -# This is the default, but let's make sure. -export SAGE_INSTALL_GCC=no - # This is trinary, ha ha! export SAGE_DEBUG=no +# Needed to find the sage-on-gentoo database packages. +export SAGE_SHARE="/usr/share/sage" + +# Launch the sage CLI. This is what the script generated by pip would +# do if we used that. Use python -m sage.doctest for doctests. +alias sage="python -m sage.cli" + # A "meson setup" command that disables all of the optional features, # including the documentation, and sets up a prefix-based install that # won't use any vendored dependencies. Does not include the trailing -- 2.51.0