On Mon, May 5, 2014 at 11:46 AM, John H Palmieri <jhpalmier...@gmail.com> wrote: > This surprised me a little bit: > > $ du -s -h ~/.sage/temp/jpalmieri/cleaner.log > 3.6G /Users/palmieri/.sage/temp/jpalmieri/cleaner.log > > Is there any reason to have such a large file lying around? Should it be > automatically cleaned up every now and then? > > Also, I've noticed several times a "sage-cleaner" process which was several > days old. That's not supposed to happen anymore. For example, I saw this > today: > > $ ps ux | grep python > palmieri 67905 0.0 0.1 2441608 7244 ?? S Sat10AM 59:23.08 > python > /Users/palmieri/Desktop/Sage_stuff/sage_builds/clean/sage-6.2.rc1/src/bin/sage-cleaner > > (Note that this was running in a built-from-tarball Sage 6.2.rc1, which > certainly contains the fix from #15457.) > > There were also several hundred directories in .sage/temp/jpalmieri/, with > names corresponding to old process IDs, long since dead. Some of these are > empty, some have sub-directories with names like "dir_3SAu4B". Shouldn't all > of these directories have been removed by sage-cleaner? I have noticed that > various Sage processes of mine have been getting killed mysteriously. I > wonder if it's an over-aggressive sage-cleaner, seeing an old directory in > .sage/temp/jpalmieri and killing a new process with the same pid. > > For what it's worth, this is on OS X 10.8 (and I think I've also seen it on > OS X 10.9).
I wrote Sage cleaner, and I never wrote anything to clean up after the cleaner, since that was a lower priority. Definitely somebody should write such code! It would be a pretty straightforward Python programming project, with a big positive impact -- the main problem is just deciding on what should actually get deleted and when. -- William > > -- > John > > -- > 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. > For more options, visit https://groups.google.com/d/optout. -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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. For more options, visit https://groups.google.com/d/optout.