[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [linux-team] changement de partition



Raphael Bauduin wrote:

> comme linux prends de plus en plus de place( et de plus en plus LA place
> de windows), je voudrais mettre /usr sur une autre partition. Pourriez
> vous me dire comment faire? (copier les fichier suffit?)

En ce qui me concerne, j'ai procede comme suit :
- renommer /home en /home2
- creer une nouvelle partition /home
- creer /home/local
- copier le contenu de /usr/local vers /home/local
- effacer /usr/local
- creer un lien de /usr/local vers /home/local (ln -s /home/local
/usr/local)

En effet, quand je compile un programme, je le place generalement dans
/usr/local. Ainsi, je libere assez bien de place dans ma partition / (->
/var/spool, /usr/X11 ou se placent les programmes crees par Imake, ...)


Sinon, tu peux te contenter de creer un /usr2, y copier le contenu de
/usr, modifier la fstab pour monter la partition que tu avais installee
en /usr2 sur /usr, repasser en mono-utilisateur (killer les Daemons
etc), et a ce moment effacer le contenu de /usr (tu ne devrais plus
avoir de programme s'en servant) puis rebooter. Au reboot, la nouvelle
partition sera automatiquement montee en /usr et tout sera OK...

-- 
		Denis Moreaux

ICQ#		2012432		E-Mail:		Endor@multimania.com
FIDO:		2:293/3212.89	IRC:		Undernet, Vapula
HTTP:		http://www.multimania.com/endor/
---------
This message was send by Majordomo 1.94.3. Please repport problems to
manu@rtfm.be. If you want to be deleted from the list, send a mail to
majordomo@rtfm.be with "unsubscribe linux-team" in the body.