Re: [sage-devel] Error: failed to extract /home/linethan0322/sage-9.5.rc4/upstream/gap-4.11.1.tar.gz
oh i see thanks :) On Tuesday, 8 March 2022 at 14:49:55 UTC-5 François Bissey wrote: > From your log > OSError: [Errno 28] No space left on device > > You’ve run out of disk. Nothing we can do about that :) > > > On 9/03/2022, at 08:25, Ethan Lin wrote: > > > > Hello! I have encountered an error while making/upgrading sage, > > The sage version is 9.6.beta4 > > My OS is Debian Bookworm (testing) > > make[4]: *** [Makefile:2757: gap-SAGE_LOCAL-no-deps] Error 1 > > make[3]: *** [Makefile:2757: > /home/linethan0322/sage-9.5.rc4/local/var/lib/sage/installed/gap-4.11.1] > Error 2 > > make[2]: *** [Makefile:2461: all-start] Error 2 > > > > real 0m56.405s > > user 0m38.218s > > sys 0m12.248s > > *** > > Error building Sage. > > > > The following package(s) may have failed to build (not necessarily > > during this run of 'make all-start'): > > > > * package: gap-4.11.1 > > last build time: Mar 8 14:20 > > > > -- > > 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+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/bb7f2414-a00f-4a84-a73c-0feb9aae7f2dn%40googlegroups.com > . > > > > -- 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/ea458dd4-e4fd-4c32-b1c0-a73e74f7678bn%40googlegroups.com.
[sage-devel] Questions about what directory and files are safe to delete.
Hello! I have a question concerning what is safe to delete after make. After make I was informed with this message. It is safe to delete any log files and build directories, but they contain information that is helpful for debugging build problems. WARNING: If you now run 'make' again, the build directory of the same version of the package will, by default, be deleted. Set the environment variable SAGE_KEEP_BUILT_SPKGS=yes to prevent this. What is safe to delete? And what are the paths to them? I started to remove the /logs/pkgs log files... then I wasn't sure if that was the correct directory... Cheers! -- 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/b7476a6b-342f-48f9-aeae-15aef092d74en%40googlegroups.com.
Re: [sage-devel] Re: Sage upgrade issue
So is it the master branch or the develop branch? and git push right? -- 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/1df2b93a-7554-4732-ad5b-6e2fa2c498c1%40googlegroups.com.
[sage-devel] Sage upgrade issue
sage-9.1.beta8 on Ubuntu Linux 20.04 LTS Focal Fossa. -- 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/49a74fa9-32c4-43ef-9265-78c96bc4096b%40googlegroups.com.
[sage-devel] Re: Sage upgrade issue
sabe-9.1.beta8 on Ubuntu Linux 20.04 LTS Focal Fossa -- 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/0ea35748-52ae-42bd-92e2-c9583e190470%40googlegroups.com.
[sage-devel] Sage upgrade issue
Somehow I can seem to upgrade sage with the sage -upgrade command it gives me this error: error: cannot open .git/FETCH_HEAD: Permission denied -- 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/da1ada5d-249b-4081-9353-7c990ca6f433%40googlegroups.com.
