Hello everybody,
I just upgraded my Sage to version 10.4.beta3, however in the install logs
I see the following message:
cat: logs/install.time: No such file or directory
It seems like a harmless error message as the build succeeded and I can use
Sage as usual, but does anybody know what can be the cause?
Here's the last lines of the logs:
[sage_docbuild-10.4.beta3] [spkg-install] Successfully uninstalled
sage-docbuild-10.4b1
[sage_docbuild-10.4.beta3] [spkg-install] Successfully installed
sage-docbuild-10.4b3
[sage_docbuild-10.4.beta3] [spkg-install] cat: ./spkg-install.time: No such
file or directory
[sage_docbuild-10.4.beta3] Moving package files from temporary location
/home/davidayotte/sage/local/var/lib/sage/venv-python3.11.1/var/tmp/sage/build/sage_docbuild-10.4.beta3/inst
to /home/davidayotte/sage/local/var/lib/sage/venv-python3.11.1
[sage_docbuild-10.4.beta3] You can safely delete the build directory
/home/davidayotte/sage/local/var/lib/sage/venv-python3.11.1/var/tmp/sage/build/sage_docbuild-10.4.beta3
[sage_docbuild-10.4.beta3] Finished installing sage_docbuild-10.4.beta3
[sage_docbuild-10.4.beta3] cat:
/home/davidayotte/sage/logs/pkgs/sage_docbuild-10.4.beta3.time: No such
file or directory
make[2]: Leaving directory '/home/davidayotte/sage/build/make'
Sage build/upgrade complete!
cat: logs/install.time: No such file or directory
OS: Ubuntu 22.04.4 LTS via WSL2 on Windows 11
Best,
David A.
--
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/4a5ae70d-a13c-4fb0-afd3-808ce14bd37bn%40googlegroups.com.
