Le Sat, 03 Nov 2012 15:41:34 +0100, Une Bévue a écrit :
Le 03/11/2012 10:53, Sergio a écrit :
Sinon, tu as commencer par parler de Gparted. Et ? Tu ne sais pas l'utiliser ?
Si, mais j'ai *un peu* la pétoche de faire une fausse manip... Si j'ai bien compris, je dois d'abord libérer 5Go de ma partoche /home. ensuite attribuer l'espace libre à /.
Avec Gparted, il te suffit de "raccourcir" /dev/sda6 et de "rallonger" /dev/sda1
Opération, en principe, sans danger. Néanmoins, il est conseillé de sauvegarder ce qui est important dans /home
Il faut bien sûr que, pendant l'opération, le disque entier ne soit pas monté. Il faut donc opérer à partir d'un LiveCD (CD d'Ubuntu par exemple) ou LiveUSB.
Le Sat, 03 Nov 2012 15:41:34 +0100, Une Bévue a écrit :
Le 03/11/2012 10:53, Sergio a écrit :
Sinon, tu as commencer par parler de Gparted. Et ? Tu ne sais pas
l'utiliser ?
Si, mais j'ai *un peu* la pétoche de faire une fausse manip...
Si j'ai bien compris, je dois d'abord libérer 5Go de ma partoche /home.
ensuite attribuer l'espace libre à /.
Avec Gparted, il te suffit de "raccourcir" /dev/sda6 et de "rallonger"
/dev/sda1
Opération, en principe, sans danger. Néanmoins, il est conseillé de
sauvegarder ce qui est important dans /home
Il faut bien sûr que, pendant l'opération, le disque entier ne soit pas
monté. Il faut donc opérer à partir d'un LiveCD (CD d'Ubuntu par exemple)
ou LiveUSB.
Le Sat, 03 Nov 2012 15:41:34 +0100, Une Bévue a écrit :
Le 03/11/2012 10:53, Sergio a écrit :
Sinon, tu as commencer par parler de Gparted. Et ? Tu ne sais pas l'utiliser ?
Si, mais j'ai *un peu* la pétoche de faire une fausse manip... Si j'ai bien compris, je dois d'abord libérer 5Go de ma partoche /home. ensuite attribuer l'espace libre à /.
Avec Gparted, il te suffit de "raccourcir" /dev/sda6 et de "rallonger" /dev/sda1
Opération, en principe, sans danger. Néanmoins, il est conseillé de sauvegarder ce qui est important dans /home
Il faut bien sûr que, pendant l'opération, le disque entier ne soit pas monté. Il faut donc opérer à partir d'un LiveCD (CD d'Ubuntu par exemple) ou LiveUSB.
Michel Campfort
Le 03.11.2012 16:25, Sergio a écrit :
Le Sat, 03 Nov 2012 15:41:34 +0100, Une Bévue a écrit :
Le 03/11/2012 10:53, Sergio a écrit :
Sinon, tu as commencer par parler de Gparted. Et ? Tu ne sais pas l'utiliser ?
Si, mais j'ai *un peu* la pétoche de faire une fausse manip... Si j'ai bien compris, je dois d'abord libérer 5Go de ma partoche /home. ensuite attribuer l'espace libre à /.
Avec Gparted, il te suffit de "raccourcir" /dev/sda6 et de "rallonger" /dev/sda1
Opération, en principe, sans danger. Néanmoins, il est conseillé de sauvegarder ce qui est important dans /home
Il faut bien sûr que, pendant l'opération, le disque entier ne soit pas monté. Il faut donc opérer à partir d'un LiveCD (CD d'Ubuntu par exemple) ou LiveUSB.
Attention tout de même : /home est une partition logique dans la partition étendue alors que / est une partition primaire! Ce sera donc un peu plus compliqué.
Michel
Le 03.11.2012 16:25, Sergio a écrit :
Le Sat, 03 Nov 2012 15:41:34 +0100, Une Bévue a écrit :
Le 03/11/2012 10:53, Sergio a écrit :
Sinon, tu as commencer par parler de Gparted. Et ? Tu ne sais pas
l'utiliser ?
Si, mais j'ai *un peu* la pétoche de faire une fausse manip...
Si j'ai bien compris, je dois d'abord libérer 5Go de ma partoche /home.
ensuite attribuer l'espace libre à /.
Avec Gparted, il te suffit de "raccourcir" /dev/sda6 et de "rallonger"
/dev/sda1
Opération, en principe, sans danger. Néanmoins, il est conseillé de
sauvegarder ce qui est important dans /home
Il faut bien sûr que, pendant l'opération, le disque entier ne soit pas
monté. Il faut donc opérer à partir d'un LiveCD (CD d'Ubuntu par exemple)
ou LiveUSB.
Attention tout de même : /home est une partition logique dans la
partition étendue alors que / est une partition primaire! Ce sera donc
un peu plus compliqué.
Le Sat, 03 Nov 2012 15:41:34 +0100, Une Bévue a écrit :
Le 03/11/2012 10:53, Sergio a écrit :
Sinon, tu as commencer par parler de Gparted. Et ? Tu ne sais pas l'utiliser ?
Si, mais j'ai *un peu* la pétoche de faire une fausse manip... Si j'ai bien compris, je dois d'abord libérer 5Go de ma partoche /home. ensuite attribuer l'espace libre à /.
Avec Gparted, il te suffit de "raccourcir" /dev/sda6 et de "rallonger" /dev/sda1
Opération, en principe, sans danger. Néanmoins, il est conseillé de sauvegarder ce qui est important dans /home
Il faut bien sûr que, pendant l'opération, le disque entier ne soit pas monté. Il faut donc opérer à partir d'un LiveCD (CD d'Ubuntu par exemple) ou LiveUSB.
Attention tout de même : /home est une partition logique dans la partition étendue alors que / est une partition primaire! Ce sera donc un peu plus compliqué.
Donc 11Go utilisé (noyaux nettoyés régulièrement). S'il y a beaucoup de logiciels installés...
J'ai un max de paquets installés (2474 en tout), plus virtualbox, plus le répertoire /home (les données sont ailleurs) et j'utilise 8.4 Go sur une / de 13 Go.
Donc 11Go utilisé (noyaux nettoyés régulièrement). S'il y a beaucoup de
logiciels installés...
J'ai un max de paquets installés (2474 en tout), plus virtualbox, plus
le répertoire /home (les données sont ailleurs) et j'utilise 8.4 Go sur
une / de 13 Go.
Donc 11Go utilisé (noyaux nettoyés régulièrement). S'il y a beaucoup de logiciels installés...
J'ai un max de paquets installés (2474 en tout), plus virtualbox, plus le répertoire /home (les données sont ailleurs) et j'utilise 8.4 Go sur une / de 13 Go.
Je n'ai pas vidé /var/cache/archives.
-- http://perso.orange.fr/willms/index.html
jp willm
Le 03/11/2012 10:53, Sergio a écrit :
Il vaut mieux (d'ailleurs je crois que Gparted te jette dans ce cas) le lancer depuis un LiveCD. (après avoir fait les sauvegardes d'usage).
Judicieux conseil, mais j'ai un doute en ce qui concerne sda1 qui est une partition primaire ; j'ai déjà eu le cas où je ne pouvais pas redimensionner.
Depuis, je met tout en partitions logiques et c'est plus souple.
Il vaut mieux (d'ailleurs je crois que Gparted te jette dans ce cas) le
lancer depuis un LiveCD. (après avoir fait les sauvegardes d'usage).
Judicieux conseil, mais j'ai un doute en ce qui concerne sda1 qui est
une partition primaire ; j'ai déjà eu le cas où je ne pouvais pas
redimensionner.
Depuis, je met tout en partitions logiques et c'est plus souple.
Il vaut mieux (d'ailleurs je crois que Gparted te jette dans ce cas) le lancer depuis un LiveCD. (après avoir fait les sauvegardes d'usage).
Judicieux conseil, mais j'ai un doute en ce qui concerne sda1 qui est une partition primaire ; j'ai déjà eu le cas où je ne pouvais pas redimensionner.
Depuis, je met tout en partitions logiques et c'est plus souple.
Le Sat, 03 Nov 2012 15:51:30 +0100, Une Bévue a écrit :
amha, ce qui est lourd chez moi, ça doit être texlive. peut-être aussi libreoffice, que je peux tjs virer. /tmp ça fait 31 Mo...
De toute façon, /tmp est nettoyé à chaque boot... (du moins avec les dérivées d'Ubuntu).
Sinon, pour bien nettoyer un disque : BleachBit (l'équivalent de CCcleaner sous Linux) (existe aussi pour Windows).
yamo'
Salut,
Une Bévue a tapoté, le 03/11/2012 10:18:
10346724 /usr
Sinon tu peux créer une nouvelle partition en réduisant /home.
En init 1, tu la montes en /usr2 tu copies /usr vers /usr2 puis tu montes ta nouvelle partition en /usr en n'oubliant pas bien sûr auparavant de renommer ton ancien /usr sur sda1 en /usr.old tu le rajoutes dans /etc/fstab et tu rebootes, une fois validé que tout fonctionne tu effaces /usr.old.
sounds like a Windows problem, try calling Microsoft support
Salut,
Une Bévue a tapoté, le 03/11/2012 10:18:
10346724 /usr
Sinon tu peux créer une nouvelle partition en réduisant /home.
En init 1, tu la montes en /usr2 tu copies /usr vers /usr2 puis tu
montes ta nouvelle partition en /usr en n'oubliant pas bien sûr
auparavant de renommer ton ancien /usr sur sda1 en /usr.old tu le
rajoutes dans /etc/fstab et tu rebootes, une fois validé que tout
fonctionne tu effaces /usr.old.
Sinon tu peux créer une nouvelle partition en réduisant /home.
En init 1, tu la montes en /usr2 tu copies /usr vers /usr2 puis tu montes ta nouvelle partition en /usr en n'oubliant pas bien sûr auparavant de renommer ton ancien /usr sur sda1 en /usr.old tu le rajoutes dans /etc/fstab et tu rebootes, une fois validé que tout fonctionne tu effaces /usr.old.
baobab est pratique pour chercher des répertoires "obèses"
OK merci !
Une Bévue
Le 04/11/2012 10:09, yamo' a écrit :
Sinon tu peux créer une nouvelle partition en réduisant /home.
En init 1, tu la montes en /usr2 tu copies /usr vers /usr2 puis tu montes ta nouvelle partition en /usr en n'oubliant pas bien sûr auparavant de renommer ton ancien /usr sur sda1 en /usr.old tu le rajoutes dans /etc/fstab et tu rebootes, une fois validé que tout fonctionne tu effaces /usr.old.
Ah oui, je vois très bien la manip. mais, si je laisse /usr en logique alors que / est en primaire, ça pose problème ou non ?
Le 04/11/2012 10:09, yamo' a écrit :
Sinon tu peux créer une nouvelle partition en réduisant /home.
En init 1, tu la montes en /usr2 tu copies /usr vers /usr2 puis tu
montes ta nouvelle partition en /usr en n'oubliant pas bien sûr
auparavant de renommer ton ancien /usr sur sda1 en /usr.old tu le
rajoutes dans /etc/fstab et tu rebootes, une fois validé que tout
fonctionne tu effaces /usr.old.
Ah oui, je vois très bien la manip.
mais, si je laisse /usr en logique alors que / est en primaire, ça pose
problème ou non ?
Sinon tu peux créer une nouvelle partition en réduisant /home.
En init 1, tu la montes en /usr2 tu copies /usr vers /usr2 puis tu montes ta nouvelle partition en /usr en n'oubliant pas bien sûr auparavant de renommer ton ancien /usr sur sda1 en /usr.old tu le rajoutes dans /etc/fstab et tu rebootes, une fois validé que tout fonctionne tu effaces /usr.old.
Ah oui, je vois très bien la manip. mais, si je laisse /usr en logique alors que / est en primaire, ça pose problème ou non ?
