Fixed in https://github.com/sagemath/sage/pull/37785, please review
On Saturday, April 13, 2024 at 2:08:43 PM UTC-7 David Ayotte wrote: > 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/ea2703a5-7a56-485f-85c3-2f0ce78061cbn%40googlegroups.com.
