Am 28/01/13 20:00, schrieb Robert Bradshaw:
On Mon, Jan 28, 2013 at 6:58 AM, Christian Nassau
<nas...@nullhomotopie.de> wrote:
Dear patchbot-technicians,
For the past two days I had a local patchbot running and now it has eaten up
all of the disk space and stopped.
(I admit that there wasn't much space to begin with, just something around
6G.)
As a consequence, most of the failures that were reported on
http://patchbot.sagemath.org/ticket/?machine=openSUSE%20/12.2/x86_64/3.4.11-2.16-desktop/jehova
seem to be system problems: the "log" and "shortlog" files, for example, are
mostly empty. Can somebody remove these reports from the Sage server?
Unfortunately there isn't a good way to remove these except for
editing the database manually...
And since I plan to restart the beast I have a couple of questions:
- what is the size requirement of a long-running patchbot? (assuming the
size eventually stabilizes)
As Volker says, it's about 100GB (around 300MB/open ticket). No need
to back it up or anything though.
- what if I hacked my local patchbot to automatically remove the sage
clones after every test, not just the closed tickets. would that be a big
disadvantage? would it even break the patchbot?
No, it just means that you'll have to re-compile the branches each
time a patch is added/updated. If you're running with the latest
patchbot http://trac.sagemath.org/sage_trac/ticket/13950 (needs
review) you can pass the keep_open_branches = false in your
configuration file. Perhaps with a large ccache and cython caching
http://trac.sagemath.org/sage_trac/ticket/13031 this would be
mittigated enough to not need that at all (though cloning still takes
a while). Eventually, with git, this is the direction to move.
- Robert
Thanks to both of you for your feedback!
I have now restarted the patchbot (from #13950) on a folder with about
230G space available.
Cheers,
Christian
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
