Résolu le 15-11-18 Convertir le /home ext3 en ext4 because dropbox

Assistance concernant Linux Mint
pasq
Messages : 48
Enregistré le : lun. 29 oct. 2018 14:28

Convertir le /home ext3 en ext4 because dropbox

Message par pasq »

Bonjour,
Suite aux modifications de dropbox ne prenant plus en charge les partitions ext3, je voudrais convertir mon Home en ext4
Quelqu'un a t il une procédure fiable a m indiquer pour faire cela ?
Sinon, est il possible de reformater le /home apres copie des répertoires sans risque ?
(J'ai vu qu'il y a de nombreux fichiers cachés dans ce répertoire, sont ils importants ? )
Merci pour votre aide
Modifié en dernier par pasq le jeu. 8 nov. 2018 21:37, modifié 1 fois.
System: Host: IMAX-X9300 Kernel: 3.13.0-147-generic x86_64 (64 bit)
Desktop: MATE 64Bit Distro: Linux Mint 21.1
Machine: System: Dell product: OptiPlex 990 version: 01

mézig
Messages : 1841
Enregistré le : mar. 14 nov. 2017 14:40

Re: Convertir le /home ext3 en ext4 because dropbox

Message par mézig »

Bonjour

Ça t'obligera a formater donc a sauvegarder tes fichiers et faire tout un bazar pour recréer une partition home
donc tu as meilleur temps de sauvegarder tes fichiers et réinstaller complètement
Intel Pentium Dual CPU E2140 -- Nvidia GF108 -- 4 Go de RAM -- Ubuntu 18.10 -- DEEPIN 15.11
Intel Pentium CPU 4405U @ 2.10GHz × 4 -- Intel HD Graphics 510 (Skylake GT1) -- 4 Go de RAM -- Ubuntu 19.04 -- Ubuntu 18.04 -- DEEPIN 15.11 avec partition de données commune

pasq
Messages : 48
Enregistré le : lun. 29 oct. 2018 14:28

Re: Convertir le /home ext3 en ext4 because dropbox

Message par pasq »

Il doit bien y avoir un moyen de convertir la partition ?
Surtout que c'est une partition dédiée et qu'elle est différente de la partition systeme
System: Host: IMAX-X9300 Kernel: 3.13.0-147-generic x86_64 (64 bit)
Desktop: MATE 64Bit Distro: Linux Mint 21.1
Machine: System: Dell product: OptiPlex 990 version: 01

Avatar du membre
Insam
Messages : 3477
Enregistré le : mer. 15 juil. 2015 15:03
Localisation : Breizh-Izel

Re: Convertir le /home ext3 en ext4 because dropbox

Message par Insam »

Je ne sais pas la date et la validité de cette page mais elle semble répondre à ton désir (pas lu jusqu'au bout)
https://www.leunen.com/linux/2011/06/co ... 3-en-ext4/
Image

mézig
Messages : 1841
Enregistré le : mar. 14 nov. 2017 14:40

Re: Convertir le /home ext3 en ext4 because dropbox

Message par mézig »

tu peux ,si tu as la place sur ton disque de créer une nouvelle partition en ext4 et de relever l'UUID de cette partition et de coller cette uuid a la place de celle de ton home actuel dans fstab
Redémarrer le pc , tu te retrouves avec un home tout neuf , c'est a dire sans données et sans tes parametres personnalisés de tes logiciels , tu aurait donc une installation fraiche
Il te suffirait de transvaser tes données de l'ancien home vers les dossiers de ce nouvel home et tu peux aussi remplacer certains dossiers cachés (ceux qui apparaissent avec un point devant quand on fait Ctrl+h) pour retrouver tes paramètres par exemple ceux de Firefox ou Thunderbird
Intel Pentium Dual CPU E2140 -- Nvidia GF108 -- 4 Go de RAM -- Ubuntu 18.10 -- DEEPIN 15.11
Intel Pentium CPU 4405U @ 2.10GHz × 4 -- Intel HD Graphics 510 (Skylake GT1) -- 4 Go de RAM -- Ubuntu 19.04 -- Ubuntu 18.04 -- DEEPIN 15.11 avec partition de données commune

mézig
Messages : 1841
Enregistré le : mar. 14 nov. 2017 14:40

Re: Convertir le /home ext3 en ext4 because dropbox

Message par mézig »

pasq a écrit :
mer. 7 nov. 2018 14:12
Il doit bien y avoir un moyen de convertir la partition ?
Surtout que c'est une partition dédiée et qu'elle est différente de la partition systeme
non !...pas moyen de formater sans perdre les fichiers
Intel Pentium Dual CPU E2140 -- Nvidia GF108 -- 4 Go de RAM -- Ubuntu 18.10 -- DEEPIN 15.11
Intel Pentium CPU 4405U @ 2.10GHz × 4 -- Intel HD Graphics 510 (Skylake GT1) -- 4 Go de RAM -- Ubuntu 19.04 -- Ubuntu 18.04 -- DEEPIN 15.11 avec partition de données commune

mézig
Messages : 1841
Enregistré le : mar. 14 nov. 2017 14:40

Re: Convertir le /home ext3 en ext4 because dropbox

Message par mézig »

Voila en gros ce que je te propose

Image


Une autre solution aussi serait de créer une nouvelle partition de taille a pouvoir contenir ce que tu as sur Dropbox , del a montée en ajoutant une ligne a fstab et d'y déplacer ton dossier Dropbox et de cliquer droit dessus >> Créer un lien , ensuite déplacer ce lien dans ton dossier perso et le renommer en enlevant le "lien vers" de lien vers Dropbox
mais avant de faire quoique ce soit il faut le retour de

Code : Tout sélectionner

sudo fdisk -l
et une capture de gparted pour voir si c'est possible
Intel Pentium Dual CPU E2140 -- Nvidia GF108 -- 4 Go de RAM -- Ubuntu 18.10 -- DEEPIN 15.11
Intel Pentium CPU 4405U @ 2.10GHz × 4 -- Intel HD Graphics 510 (Skylake GT1) -- 4 Go de RAM -- Ubuntu 19.04 -- Ubuntu 18.04 -- DEEPIN 15.11 avec partition de données commune

pasq
Messages : 48
Enregistré le : lun. 29 oct. 2018 14:28

Re: Convertir le /home ext3 en ext4 because dropbox

Message par pasq »

Merci a toi
L idée est bonne mais vu que j'ai déjà partitionné mon système et mon home a part, la partition n'est pas suffisante pour être divisée en 2.

J'ai 2 solutions :
- Soit je copie les fichiers du /home sur un disque externe et je reformate en ext4
Mais je ne sais pas s'il y a des fichiers importants a sauver, entre autre dans les fichiers cachés ??

- Soit je pourrais installer Dropbox dans le répertoire système / qui est en ext4, mais ce répertoire est en accès root, donc je me demande si je peux faire dans ce répertoire système un dossier Dropbox qui aurait les droits utilisateur ?

Vous en pensez quoi ?
System: Host: IMAX-X9300 Kernel: 3.13.0-147-generic x86_64 (64 bit)
Desktop: MATE 64Bit Distro: Linux Mint 21.1
Machine: System: Dell product: OptiPlex 990 version: 01

Avatar du membre
Insam
Messages : 3477
Enregistré le : mer. 15 juil. 2015 15:03
Localisation : Breizh-Izel

Re: Convertir le /home ext3 en ext4 because dropbox

Message par Insam »

pasq a écrit :
mer. 7 nov. 2018 15:26
- Soit je pourrais installer Dropbox dans le répertoire système / qui est en ext4, mais ce répertoire est en accès root, donc je me demande si je peux faire dans ce répertoire système un dossier Dropbox qui aurait les droits utilisateur ?
Bien sûr que tu peux !
Quand le home est intégré au système, tu peux bien y accéder en user
c'est juste que tu vas devoir créer ton dossier dropbox en root et t'en donner les droits ensuite.
Soit je copie les fichiers du /home sur un disque externe et je reformate en ext4
Mais je ne sais pas s'il y a des fichiers importants a sauver, entre autre dans les fichiers cachés ??
ben si tu copies "home en entier" tout y sera même les cachés, par contre vaut mieux le faire avec un soft comme lucky backup, qui te permet de faire une sauvegarde et une restauration de ton home en entier en y préservant les droits, et les liens durs parce qu'un simple copier/coller des fichiers ça va pas le faire !
Image

mézig
Messages : 1841
Enregistré le : mar. 14 nov. 2017 14:40

Re: Convertir le /home ext3 en ext4 because dropbox

Message par mézig »

Je ne connaissais pas ta combine de ton lien Insam ;)
Intel Pentium Dual CPU E2140 -- Nvidia GF108 -- 4 Go de RAM -- Ubuntu 18.10 -- DEEPIN 15.11
Intel Pentium CPU 4405U @ 2.10GHz × 4 -- Intel HD Graphics 510 (Skylake GT1) -- 4 Go de RAM -- Ubuntu 19.04 -- Ubuntu 18.04 -- DEEPIN 15.11 avec partition de données commune

Répondre