Hi,
Don't know what the right person to inform but /home is full on
dev.laptop.org, making git push impossible.
[EMAIL PROTECTED]:~$ df -h
Filesystem Size Used Avail Use% Mounted on
/dev/cciss/c0d0p5 9.2G 3.5G 5.7G 39% /
varrun 2.4G 88K 2.4G 1% /var/run
varlock 2.4G 0 2.4G 0% /var/lock
udev 2.4G 56K 2.4G 1% /dev
devshm 2.4G 0 2.4G 0% /dev/shm
/dev/cciss/c0d0p6 1.1T 1.1T 0 100% /home
/dev/cciss/c0d0p3 957M 34M 924M 4% /tmp
/dev/cciss/c0d0p2 957M 309M 649M 33% /var/log
G.
_______________________________________________
Devel mailing list
[email protected]
http://lists.laptop.org/listinfo/devel
