Partitionnement OS

Vous avez réalisé ou vous voulez réaliser un truc impensable avec votre Raspberry Pi ? Cet endroit est pour vous...

Modérateur : Francois

Répondre
sami31
Messages : 1
Enregistré le : mar. 17 sept. 2019 11:40

Partitionnement OS

Message par sami31 » mar. 17 sept. 2019 11:49

Bonjour à tous,

Comme indiqué dans le titre je souhaite partitionner mon OS RPI.
En fait j'ai une image disque d'envrion 7.5Go que j'ai installé sur mon RPI. En réalité je n'aurais pas besoin de plus de 2Go.

Ma question est donc comment partitionner ou même "cloner" mon OS afin que je puisse avoir une nouvelle image de seulement 2Go ?
Je précise que j'ai déja essayé fdisk et mkfs, mais à part supprimer des partitions de quelques Mo, j'ai toujours celle qui m'interresse de +/- 7Go ...

J'espère avoir été clair et vous remrcie d'avance pour vos réponses !
Sami

domi
Administrateur
Messages : 2621
Enregistré le : mer. 17 sept. 2014 18:12
Localisation : Seine et Marne

Re: Partitionnement OS

Message par domi » mar. 17 sept. 2019 12:38

Bonjour,

Pour cela, j'utilise à partir d'un poste bureautique Linux, l'utilitaire graphique "gparted".
Permet de modifier et déplacer les partitions.

Artemus24
Raspinaute
Messages : 430
Enregistré le : ven. 15 sept. 2017 19:15

Re: Partitionnement OS

Message par Artemus24 » sam. 21 sept. 2019 06:23

Salut à tous.

Avec une raspberry, il est possible de le faire, mais vous devez posséder un peu de matériel.
Entre autre :
--> une raspberry, cela va de soi.
--> (1) une carte micro SD vierge.
--> (2) une carte micro SD contenant la version lite raspbian, celle dont vous désirez copier.
--> une carte micro SD qui va se mettre dans la raspberry et qui va contenir votre système d'exploitation en exécution.
--> deux clefs usb (1,2) pour lire des cartes micro SD

Comment procéder ?

1) le branchement.
Vous mettez dans la clef usb 1, une carte micro SD vierge.
Vous mettez dans la clef usb 2, une carte micro SD contenant votre système d'exploitation que vous désirez recopier.
Dans le lecteur micro SD, Raspbian stretch ou buster.

2) vous allez créer vos partitions dans la nouvelle carte micro SD vierge, celle qui se trouve dans la clef usb 1.
Pour "/boot", dans la version buster, il faut mettre 250MO. Pour stretch, 100Mo suffit largement.
Pour "/rootfs", elle doit être de la taille que vous désirez, soit vos 2Go.

3) Dans une carte micro SD, vous installez la version lite de raspbian.
vous créer une sauvegarde compressée de la partition "/rootfs" de la clef usb 2.
Vous rangez votre sauvegarde dans la carte micro SD de la raspberry.

4) vous procédez au formatage de la partition "/boot" de la carte micro SD Vierge.
Vous recopier la totalité de ce qui se trouve dans la partition "/boot", de la carte micro SD (2) vers la partition "/boot" de la carte micro SD vierge (1).

5) vous recopier l'image de la sauvegarde compressée de la partition "/bootfs" vers la partition "/rootfs" de la carte micro SD vierge (1).
Ne pas oublier de changer les numéros UUID de votre carte micro SD vierge.
Ne pas oublier aussi d'agrandir l'image à la totalité de la partition"/rootfs".

C'est fastidieux, mais c'est faisable.
@+
--> RPi0v1.3, RPi0W, Rpi2B, Rpi3A+, Rpi3B+
--> Rpi0WH + Tuner TV HAT
--> Joy-It I2C Serial 20x4 2004 LCD Module
--> RPi 2B + PIM273 Unicorn HAT HD 16x16 Leds RGB

Répondre

Retourner vers « Utilisateurs avancés »