Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 09/03/2007, à 11:32

roger64

[RESOLU] gparted et cat/etc/fstab :numéros de partition différents?

Nota: j'ai changé le titre de mon post (demande de feu vert) puisque le premier problème a été résolu.


Bonjour,

Je n'ai pas de problèmes particuliers. Tout marche bien, c'est juste avant de redimensionner une partition ext2.
Je voudrais faire passer la partition sda6 de 15 à 25 gigas. La partition Ubuntu (racine, home etc...) est sda4. Sur la partition sda6 que je veux modifier, il n'y a aucune donnée système dessus, simplement les VDI de virtualbox. Avant de faire cette opération, je vais la démonter avec

sudo umount /dev/sda6

et puis je vais passer à gparted

qui m'indique ceci
515dd551cf1528b3e577dfb84c28t2.jpg

Cela semble étrangement simple avec gparted.
7055ee1b8b8cc91dfc19099cd0c5t2.jpg

J'envisage de faire ça. Tout ce que je demande , est-ce que je peux cliquer sur "redimensionner"  sans risque?^

Dernière modification par roger64 (Le 09/03/2007, à 16:35)

Hors ligne

#2 Le 09/03/2007, à 13:12

okram

Re : [RESOLU] gparted et cat/etc/fstab :numéros de partition différents?

Bonjour,

Ca fait souvent ça avec GParted: ça a l'air "trop simple"... c'est normal big_smile
La partition est démontée, à mon avis c'est bon pour cliquer, mais un second point de vue serait le bienvenu.

Okram

Hors ligne

#3 Le 09/03/2007, à 14:35

roger64

Re : [RESOLU] gparted et cat/etc/fstab :numéros de partition différents?

Bonjour et merci de ton avis que j'ai suivi.

la partition a été redimensionnée sans problème  et je puis m'en servir normalement après que je l'ai remontée. J'ai créé une partition supplémentaire ext2 de 10 gigas qui pour l'instant n'est pas montée.

Il y a cependant une chose que je ne comprends pas:
selon gparted, à l'aide de qui j'ai créé la nouvelle partition (ici sélectionnée), celle-ci devrait s'appeler sda7.

759950baacc6ad7e52ea0df3cbb8t2.jpg

or, selon cat /etc/fstab, sda7 c'est le swap. Qui a raison?

roger@roger-laptop:~$ cat /etc/fstab
# /etc/fstab: static file system information.
#
# <file system> <mount point>   <type>  <options>       <dump>  <pass>
proc            /proc           proc    defaults        0       0
# /dev/sda4 -- converted during upgrade to edgy
UUID=6c1eb35e-ae0c-4e51-ab79-27b78ce97299 / ext3 defaults,errors=remount-ro 0 1
# /dev/sda8 -- converted during upgrade to edgy
UUID=6240c98e-0872-43bd-8c06-06b13ca0d7ef /voir ext3 defaults 0 2
# /dev/sda7 -- converted during upgrade to edgy
UUID=1f3e1515-beff-449e-b7df-329863b3aaef       none    swap    sw      0      0
/dev/scd0       /media/cdrom0   udf,iso9660 user,noauto     0       0
# /dev/sda1 -- converted during upgrade to edgy
UUID=6CF7-76D3 /mnt/windows vfat auto,user,uid=1000,umask=000,utf8=true 0 0
/dev/mapper/truecrypt0  /mnt/tcvol      auto    auto,rw,user,uid=1000,umask=000,utf8=true       0       0
none     /proc/bus/usb        usbfs           devgid=46,devmode=664      0     0

Pour tenter de les départager, j'ai eu recours à un troisième outil...surprise...

roger@roger-laptop:~$ sudo cat /proc/partitions
major minor  #blocks  name

   8     0   78184008 sda
   8     1   25591513 sda1
   8     3       8032 sda3
   8     4   15036840 sda4
   8     5    1534144 sda5
   8     6   25712001 sda6
   8     7   10297633 sda7
 252     0   25591513 dm-0
 252     1       8032 dm-1
 252     2   15036840 dm-2
 252     3    1534144 dm-3
 252     4   25712001 dm-4
 252     5   10297633 dm-5
roger@roger-laptop:~$

d'après ce dernier, la swap serait sda5?
Trois outils. Trois dénominations. Un utilisateur...perplexe  Qui a raison?


Je sais que je vais devoir ensuite créer un point de montage, avec mkdir je crois mais si quelqu'un pouvait m'aider avec les commandes, je me sentirais plus rassuré.

Je veux créer un nouveau point de montage /virtuel sur la nouvelle partition sda7 (selon gparted).

Dernière modification par roger64 (Le 09/03/2007, à 15:17)

Hors ligne

#4 Le 09/03/2007, à 16:32

sylvain1970

Re : [RESOLU] gparted et cat/etc/fstab :numéros de partition différents?

Bonjour,
je ne sais pas quel outil a raison mais c'est etc/fstab qui monte les partitions, alors je ferai ceci :

sudo vol_id -u /dev/xxx

donne l'UUID de la partition /dev/xxx.
Cà peut t'aider pour mettre fstab à jour.

Dernière modification par sylvain1970 (Le 09/03/2007, à 16:32)

Hors ligne

#5 Le 09/03/2007, à 16:33

roger64

Re : [RESOLU] gparted et cat/etc/fstab :numéros de partition différents?

Bonjour. Résolu.

page doc uuid_et_label que j'avais oubliée

Donc la loi c'est

sudo fdisk -l /dev/sda

J'ai relevé les uuid des partitions

sudo ls -l /dev/disk/by-uuid

J'ai vu qu'il y avait accord sur les uuid mais désaccord sur les numéros des partitions. J'ai donc modifié manuellement le fichier /etc/fstab pour tout faire correspondre.

Ingrat. Laborieux. Linux mérite mieux...Enfin, au moins avec les uuid, on sait où l'on va.


PS et merci Sylvain, nos posts se sont croisés..:)

Dernière modification par roger64 (Le 09/03/2007, à 16:38)

Hors ligne

#6 Le 09/03/2007, à 16:53

sylvain1970

Re : [RESOLU] gparted et cat/etc/fstab :numéros de partition différents?

wink

Hors ligne