William Stein wrote: > > My spkg/archive directory is pretty big: > > [EMAIL PROTECTED]:~/s/spkg$ du -sch archive/ > 566M archive/ > 566M total >
[EMAIL PROTECTED] spkg]# du -sch archive/ 3.6G archive/ 3.6G total > All that stuff can be safely deleted. It probably should be deleted by > default these days -- it's just where old stuff from spkg/standard (say) > goes during upgrades. Thanks! Jaap --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
