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 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 di
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 v
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 discuss
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 discussi
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 emai
