P.S: It happened because sage was run before 'make configure' was done

~/sage-9.6$ git/sage.mod/sage

On Sun, Apr 24, 2022 at 5:43 PM ph h <hohoang...@gmail.com> wrote:

> Dear All,
>
> When is it safe to clean up  '~./.sage' ?
> How can 'sage-cleaner'  be invoked manually?
> Why is it invoked because of 'ModuleNotFoundError: No module named 'sage'?
>
> Please find appended below the console output
>
> Regards,
>
> phiho
>
> Sourcing /home/hph/sage-9.6/git/sage.mod/resolvelinks.dot,
> /home/hph/sage-9.6/git/sage.mod/sage.src.bin.sage-env.dot
> Traceback (most recent call last):
>   File "/home/hph/sage-9.6/git/sage.mod/src/bin/sage-ipython", line 9, in
> <module>
>     from sage.misc.banner import banner
> ModuleNotFoundError: No module named 'sage'
> ~/sage-9.6$ SAGE_TMP_ROOT = /home/hph/.sage/temp/
> Starting sage-cleaner with PID 2005
> Checking PIDs []
> Checking PIDs []
> cleanup() #2 took 0.00s
> Checking PIDs []
> cleanup() #3 took 0.00s
> Checking PIDs []
> cleanup() #4 took 0.00s
> Checking PIDs []
> cleanup() #5 took 0.00s
> Checking PIDs []
> cleanup() #6 took 0.00s
> Checking PIDs []
> cleanup() #7 took 0.00s
> Checking PIDs []
> cleanup() #8 took 0.00s
> Checking PIDs []
> cleanup() #9 took 0.00s
> Checking PIDs []
> cleanup() #10 took 0.00s
> sage-cleaner is finished
> Removing pidfile and logfile
>
>
> --
> 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 sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/c493f788-0da8-4ea0-b878-5b0b48edd04cn%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/c493f788-0da8-4ea0-b878-5b0b48edd04cn%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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 sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CALZQg1ZGSJPejzy%2BP5hgtPh01tRwa%2BKQjH0NV112bCFo_J9tQw%40mail.gmail.com.

Reply via email to