Wiki RaspberryPi remplacer son Système de Fichier par F2FS (formatage)

1
10
fév.
2017

Introduction

  • F2FS ("flash-friendly file system") est un système de fichiers (filesystem) conçu pour les mémoires Flash. Sa conception lui permet d'être réputé plus rapide en écriture que les autres systèmes de fichiers (NTFS, ext4, zfs) sur les mémoires flash (SSD, eMMC, etc). La différence est significative sur raspberry pi.

Note : je vous conseil de d'abord tester sur une seconde carte mémoire
Note Bis : vous pouvez suivre exactement la même procédure pour formater la carte mémoire de votre appareil Android, arrêtez-vous juste après "Injection des fichiers précédemment sauvegardé"

Résumé de la procédure :

  1. Copie sur PC (Linux) de TOUS les fichiers de la carte SD/microSD du Raspberry Pi
  2. Formatage de la carte SD/microSD en F2FS
  3. Ré-injection des fichiers précédemment sauvegardés
  4. Édition des fichiers de démarrage du système

Mise en place en ligne de commande

Note : la carte mémoire du Raspberry Pi est divisée en deux partitions, une pour le boot (dont nous éditerons juste un fichier) et la seconde qui est celle que nous allons formater en F2FS et qui contient le Système de Fichier.

  1. Branchez votre carte mémoire à votre ordinateur

  2. Ouvrez un Terminal de commande (shell)

  3. Créez le dossier où ranger les fichiers du Raspberry Pi pendant le formatage

    mkdir /tmp/backup_sd

    • Ici j'ai choisi de créer un dossier dans /tmp/ ainsi le dossier et son contenu seront supprimés au redémarrage de la machine.
  4. Copiez les fichiers de votre carte mémoire vers un dossier sur votre ordinateur

    sudo cp -v -a /mnt/cartememoire/* /tmp/backup_sd

    • /mnt/cartememoire/ est le path du point de montage de votre carte mémoire (l'option -a est nécessaire). Sur Ubuntu par défaut le montage s'effectue dans /media/$USER/identifiant-partition-sur-carte-memoire/
  5. Installez le package f2fs-tools

    sudo apt-get install f2fs-tools

  6. Récupérez le path de la partition à formater. (par exemple /dev/sdf2)

    df -h

  7. Démontez la partition que nous allons formater

    sudo umount /media/$USER/identifiant-partition-sur-carte-memoire

  8. Formatage de la partition root de la carte mémoire

    sudo mkfs.f2fs /dev/sdf2

  9. Montage de la partition créée (sur ubuntu la partition s'auto-monte automatiquement)

    sudo mount -t f2fs /dev/sdf2 /media/raspberrypi

  10. Injection des fichiers précédemment sauvegardé

    sudo cp -v -a /tmp/backup_sd/* /mnt/cartememoire

  11. Éditez le fichier /etc/fstab sur la partition précédemment formatée de notre carte mémoire. La ligne correspondant à / (la racine) doit ressembler à quelque chose du style :

    /dev/mmcblk0p2 / f2fs defaults,noatime,discard 0 0

  12. Enfin remplacez rootfstype=ext4 par rootfstype=f2fs (en minuscule) dans le fichier cmdline.txt lui-même dans la partition intitulée "boot" de votre carte mémoire

  13. Démontez la carte SD

    sudo umount /dev/sdf1 & sudo umount /dev/sdf2

  14. C'est terminé !

Adoptez une RabbitMax Flex, une carte fille cherche une maman Raspberry Pi

20
4
nov.
2016
Raspberry Pi

Le projet RabbitMax est celui d’un ami développeur‐bidouilleur qui a voulu concevoir un module matériel en partant de zéro uniquement avec des logiciels libres (KiCad en l’occurrence).

Après 6 âpres mois, j’ai eu la chance de tester le résultat, la suite de la dépêche est consacrée aux possibilités de ce module matériel et vous présente mes tests.

Forum Linux.débutant quelques questions

Posté par . Licence CC by-sa
0
18
sept.
2015

bonsoir, je cherche de la documentation gratuite pour débutant sur debian, je ne sais sur quels sites aller. Si je suis des cours sur debian, est ce que sous raspbian il y aura des choses différentes ou non ? Que me conseillez vous de faire pour commencer à apprendre, le raspberry pi, debian, le monde du libre, la console et j'en passe…

amicalement.

Forum général.général Auto hébergement

Posté par . Licence CC by-sa
2
30
août
2015

Salut là-dedans.

J'héberge depuis quelques mois un serveur owncloud qui me permet de synchroniser mes fichiers sur plusieurs ordinateurs, de partager certains d'entre eux (les fichiers) et de synchroniser les rendez-vous et tâches de mon agenda et de celui de ma compagne.

Ce serveur est hébergé sur une raspberry pi 2 sur laquelle tourne une distribution raspbian. le tout est derrière une livebox tout ce qu'il y a de plus standard. Pour éviter de perdre la connexion avec le système (...)

Forum général.cherche-logiciel Quelle solution logicielle pour un micro NAS orienté cloud sur Banana Pi ?

Posté par . Licence CC by-sa
1
24
mai
2015

Bonjour les linuxiens :)

À la recherche d'une solution "NAS lower power" orientée cloud type ownCloud + BT client sur Banana Pi M1/+ (ou équivalent, doté du SATA 2.0), je me tourne vers vous pour vous demander s'il existe une distribution ou une solution simple pour cela. Je parle de NAS, mais je n'entends pas instaurer de RAID ou autre chose de compliqué (je me contenterais certainement de faire des backups manuels). Après des heures et des heures de recherche (...)

Journal Des logiciels libres dans la stratosphère

50
15
nov.
2014

Ce n'est certainement pas la 1ere fois, mais assez rare pour le souligner, un Raspberry Pi a été envoyé dans la stratosphère il y a quelques jours, du côté de Nîmes (Gard).
Un bien bel exploit, puisque il aura fallut 2 ans pour préparer la chose (phase de réflexion incluse), et surtout réussir l'opération du 1er coup, en récupérant l'appareil grâce à des outils de suivi de vol minutieusement préparés !
Il a ramené de bien belles photos et vidéos après (...)

Votre blogue à la maison sur Raspberry Pi

53
9
nov.
2014
Do It Yourself

Nous verrons dans ce tutoriel comment installer un Raspberry Pi pour en faire un serveur web hebergé chez vous, derriere votre box internet.