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
-~----------~----~----~----~------~----~------~--~---

Reply via email to