[Savannah-hackers] subversions.gnu.org:/home partition

[Loic Dachary]

        Hi,

        I'm about to move /home, currently on the / partition, to a
11Gb partition mounted on /home. The 11Gb partition is currently
unused on the /dev/hda disk.  The / partition has 600Mb left which is
not too much of a problem at present.  However, the rsync repository
will grow (/home/rsync), mainly because we are rsync'ing more stuff
(mainly gcc at present). The /home directory is currently 1Gb big.

        Cheers,

-- 
Loic   Dachary         http://www.dachary.org/  address@hidden
12 bd  Magenta         http://www.senga.org/      address@hidden
75010    Paris         T: 33 1 42 45 07 97          address@hidden
        GPG Public Key: http://www.dachary.org/loic/gpg.txt