On Friday, April 15, 2022 at 12:39:23 AM UTC-7 Jean-Florent Raymond wrote:
> In order to test something I would like to remove from my sage install a
> python package that I installed (and updated) some time ago.
>
> First question:
> How can I remove a package installed with "sage -i"? I found
> instructions in the doc to install packages, but nothing to remove them.
> Is "sage -i" the same as "sage -pip install" (and "pip install" in a
> "sage -sh" session), so I can simply do "sage -pip uninstall"?
To uninstall a package SPKG, use either "make SPKG-clean" or "make
SPKG-uninstall" - depending on the package source type (see
https://doc.sagemath.org/html/en/developer/packaging.html#package-source-types).
(We are in the process of unifying this -
https://trac.sagemath.org/ticket/29097)
When checking if there remain some files named after this package after
> the "sage -pip uninstall" command, I can see that the package is still
> installed in:
>
> sage/local/lib/python3.7/site-packages/
> sage/local/lib/python3.9/site-packages/
>
> I guess because I installed it when the python version of my sage
> install was 3.7 or 3.9 (currently it is 3.10.3).
I don't think there is a reason to keep this, hence my second question :
> how to remove this given that I don't have python3.7 or python3.9
> anymore in sage-sh ? Can I just rm everything in
> sage/local/lib/python3.7 and sage/local/lib/python3.9?
Yes, you can safely "rm" it.
> Last question: what does "spkg" mean :) ?
I think it just means "Sage package".
> Is it just any package that
> can be installed to use with Sage, some of which are standard python
> (pip-installable) packages and some with different install scripts?
>
Yes.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/1ad41f4b-966d-4597-bb11-fd154ffc0723n%40googlegroups.com.
