On Sun, Nov 23, 2008 at 3:08 PM, William Stein <[EMAIL PROTECTED]> wrote: > > On Sun, Nov 23, 2008 at 12:04 PM, Konrad Meyer <[EMAIL PROTECTED]> wrote: >> >> 2008/11/23 mabshoff <[EMAIL PROTECTED]>: >>> >>> Hello folks, >>> >>> we nearly ran out of space on /home for the first time in a while. The >>> following accounts are using more than 1GB space and on case your name >>> is one the list you should consider cleaning up unused files. >>> > > By the way, I wrote a command "usage" which you can type in your > home directory (or any directory) and it gives a sorted list of the sizes > of all subdirectories.
This is a very useful command - thanks! > > William > > > > --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
