Informagicien, crypto-enthousiaste, adorateur des internets 2.0, des chats et des logiciels libres

Je serais présent au salon Bio&Co de Strasbourg le dimanche 20 mai 2018.

Bloquer la pub pour éviter la consommation d’énergie

Réduire son impact environnemental sur le web

Circuits courts - Maxime Switek et Anne Le Gall : Comment rendre nos portables plus écolos ? (30min)

https://www.djan-gicquel.fr/ecologie

Acheter un ordinateur d’occasion

Partionement GNU/Linux sur une machine en UEFI

Publié le jeudi 9 mars 2017, par Djan

Mis à jour le mardi 7 novembre 2017

Pour installer sur un pc UEFI utiliser un partitionnement personnalisé.
J’utilise ces paramètres que je pense à peu prêt optimal.

Point de montageFormatTaille
/ ext4 entre 10 et 15 go
/boot FAT32, Partition EFI [1] 100mo
/swap swap 4go maximum [2]
/home ext4 taille au choix

Pour le chargeur d’amorçage choisir la partition EFI et pas le disque entier.


[1Pendant l’installation, choisir la partition FAT32 et la configurer en type "EFI"

[2si besoin d’hibernation seulement