- Gorgeous-GRUB est une collection qui rassemble au même endroit une sélection de thèmes GRUB créés par la communauté et dispersés sur plusieurs sites
- Pling est présenté comme le site qui héberge actuellement le plus de thèmes GRUB, mais beaucoup de thèmes y sont le résultat d’un effort limité, ce qui rend difficile la recherche de bons thèmes
- Le README fournit sous forme de tableau divers liens vers des thèmes et images de prévisualisation, notamment Minegrub, SteamOS, Persona 5 Royal, Catppuccin, Cyberpunk 2077, Dark Matter et Elegant
- Il renvoie aussi vers des outils et guides auxiliaires, comme la documentation d’installation et de contribution, GRUB-Tweaks, GRUB2 Theme Preview, Background Cycler et un Theme Installer créé par la communauté
- Dans un environnement Secure Boot, les polices personnalisées peuvent ne pas s’appliquer ou ne pas s’afficher ; un billet du forum Arch Linux expliquant comment signer les fichiers de police est indiqué comme référence
Objectif du projet
- Gorgeous-GRUB est un dépôt qui rassemble des thèmes créés par la communauté pour personnaliser l’écran du bootloader GRUB affiché avant le démarrage
- Les thèmes GRUB étant dispersés sur plusieurs sites et les bons thèmes étant difficiles à trouver, le projet les organise pour qu’ils puissent être consultés sur une seule page
- Pling est présenté comme le site qui héberge actuellement le plus de thèmes GRUB, mais beaucoup de thèmes y sont monotones ou produits avec peu d’effort, ce qui peut rendre l’exploration fastidieuse
- Le dépôt a été créé pour mettre en avant, au fil du temps, de bons thèmes trouvés sur Internet
Outils utiles et liens de référence
- GitZip : permet de télécharger des dossiers et fichiers individuels sans récupérer tout le dépôt GitHub
- Il demande un token, mais il est présenté comme fonctionnant bien même sans token
- GRUB-Tweaks : fournit plusieurs guides d’ajustements et de configurations supplémentaires pour personnaliser davantage ou restaurer une installation GRUB
- Theme Tutorial / Theme References : ressources liées à la création de thèmes GRUB2, présentées comme complexes mais comme les meilleures informations trouvées jusqu’à présent
- Il peut être plus simple de partir d’un thème existant et de le modifier soi-même plutôt que de tout créer depuis zéro
- GRUB2 Theme Preview : logiciel permettant de prévisualiser les thèmes GRUB sans redémarrer tout le système
- Comme il lance une VM complète, il comporte de nombreuses dépendances
- Une commande simple pour installer les dépendances nécessaires se trouve dans le dépôt GRUB-Tweaks
- Background Cycler : script qui change l’arrière-plan du thème à chaque redémarrage du système
- Theme Installer (Community Made) : script créé par FLEXIY0, qui permet de télécharger et d’installer automatiquement de nombreux thèmes
- Des erreurs peuvent survenir dans certains cas limites
Installation et contribution
- Installing a theme : renvoie vers la documentation d’installation d’un thème
- How to contribute : renvoie vers les instructions pour contribuer à la collection de thèmes
Mode d’exploration des thèmes
- La liste des thèmes est organisée sous forme de tableau avec images de prévisualisation et liens
- Si un thème vous plaît, il est recommandé de lui laisser une note sur Pling ou d’ajouter une étoile au dépôt GitHub
- Sur Pling, peu de personnes laissent des notes, ce qui est présenté comme l’une des raisons pour lesquelles il est difficile de trouver de bons thèmes
- Cela permet aux créateurs de constater que des personnes apprécient ce qu’ils ont réalisé
Exemples de thèmes inclus
- Thèmes basés sur des jeux et œuvres :
- Thèmes inspirés de distributions, bureaux et styles système :
- Thèmes cyberpunk, rétro et orientés terminal :
- Grands ensembles de thèmes ou thèmes orientés personnalisation :
Mise en garde sur Secure Boot
- Sur les systèmes où Secure Boot est activé, les polices personnalisées peuvent ne pas s’appliquer ou ne pas s’afficher du tout
- Un billet du forum Arch Linux explique comment signer les fichiers de police pour les faire réapparaître
1 commentaires
Avis sur Hacker News
J’adore la personnalisation, mais personnellement, moins je vois GRUB ou moins j’y pense, mieux je me porte
« Grand Theft Gentoo » : https://raw.githubusercontent.com/Jacksaur/Gorgeous-GRUB/ref...
Ce que je veux vraiment, c’est imiter l’ancien écran de démarrage SGI. Avec le son de démarrage et une micro-distribution pour configurer le système d’exploitation
De nos jours, avec les systèmes de fichiers à snapshots, ça ne devrait pas être si difficile. J’ai dû faire un chroot quelques fois dans ma vie pour réparer un système, et j’ai du mal à croire que ce soit difficile à automatiser
NixOS peut démarrer sur une génération précédente, mais c’est une façon de complètement retourner le système de fichiers ; OpenSUSE prend en charge les snapshots, mais comme c’est basé sur BTRFS, il est difficile pour d’autres distributions d’utiliser la même implémentation ; ZFS est excellent, mais sous Linux, la licence crée toujours des frictions. Ubuntu a rendu le démarrage très fluide avec Plymouth, mais c’est très Ubuntu dans l’esprit
Quoi qu’il en soit, si vous êtes dans un environnement où vous pouvez utiliser ZFS sous Linux, je recommande zfsbootmenu
Bien sûr, on peut se tirer une balle dans le pied en rendant l’accès distant impossible, par exemple en cassant la configuration SSH. Il existe aussi une solution pour cela, deploy-rs, avec une fonction de magic rollback qui rétablit le système si la machine qui a lancé le déploiement ne parvient pas à s’y reconnecter : https://github.com/serokell/deploy-rs?tab=readme-ov-file#mag...
J’utilise ces fonctionnalités depuis des années, et je peux les recommander en toute confiance
Ce n’est pas exactement lié à la question initiale, mais je fais tourner les builds système dans la CI et je rends aussi les tests Playwright de plus en plus complets. Ça me donne pas mal de confiance dans le fait de pouvoir détecter les problèmes tôt ou revenir en arrière
arch-chrootpour réparer le système principal. Il doit exister des approches similaires pour d’autres distributionsLe son de démarrage des machines SGI variait selon le modèle. Autrement dit, Indy et Onyx n’avaient pas le même. Mon premier PC, un 80286, avait lui aussi un son emblématique à l’allumage, impossible à oublier
La micro-distribution correspond à l’OS de récupération. Les trois principaux systèmes d’exploitation desktop ont tous une telle fonction, ou une combinaison de touches pour l’activer. À ma connaissance, Android a deux partitions de récupération, la redondance étant l’élément clé
Si vous aimez la puissance des snapshots, un système de fichiers copy-on-write (CoW) comme ZFS peut afficher une liste au démarrage. Un système d’exploitation comme NixOS n’a même pas besoin de ce type de système de fichiers. Même avec Ext4FS, un menu de démarrage avec snapshots, une fonction de rollback, etc. fonctionnent très bien
Exemple : https://github.com/kexecboot/kexecboot
C’est pour ce genre de choses que j’aime Linux. Il y a une créativité incroyable là-dedans. Ça me donne presque envie de faire un dual boot avec quelque chose, juste pour avoir une excuse de voir GRUB
C’est cool, mais honnêtement, j’aimerais que GRUB n’apparaisse que lorsqu’on maintient une touche enfoncée au démarrage. Attendre 5 secondes qu’il disparaisse avant de démarrer sur l’OS par défaut, c’est vraiment inutile
GRUB_TIMEOUT_STYLE=hiddenetGRUB_TIMEOUT=0. Le menu GRUB ne s’affiche alors que si on maintientShiftenfoncé ; sinon, il démarre immédiatement sur l’entrée par défautTous ceux qui se plaignent de GRUB ont oublié lilo
À cette époque, j’avais un super thème fait maison avec Ghost in the Shell, et je me souviens avoir converti des jpeg trouvés en ligne dans un format d’image très obscur. J’ai vraiment passé beaucoup de temps à personnaliser mon environnement Linux. L’ordinateur ressemblait vraiment à un animal de compagnie bien apprivoisé, avec des bureaux cubiques contenant des poissons, des effets de reflet, etc.
Comment ces images d’arrière-plan sont-elles redimensionnées selon les moniteurs et les résolutions ?
Au passage, comment GRUB sait-il à quelle résolution dessiner l’interface ?
Enfin, je vais pouvoir faire ressembler mon ordinateur à ceux du film Hackers. Classe
Comme j’écoute la bande-son en travaillant ces jours-ci, je vais peut-être bientôt le revoir
GRUB est comme un étron dans des toilettes qui ne veulent pas se vider. Il est totalement inutile depuis des années, trop complexe, quasiment inutilisable avec son shell aux idiomes de 1995, et il existe des alternatives bien plus légères et utiles comme extlinux.
De nos jours, on peut même démarrer directement le kernel avec EFI stub, mais il continue quand même à s’installer et à essayer de justifier son existence
Le pire, c’est qu’en dual boot, si chaque système d’exploitation installe son propre GRUB, on peut se retrouver dans une situation bizarre où GRUB chaîne vers un autre GRUB, qui démarre ensuite l’OS.
Il suffirait d’appuyer sur une touche comme F12 pour voir le menu de toutes les options de boot fourni par l’UEFI, non ? Tout y est proprement rangé avant que les installateurs ne viennent tout casser. Windows semble toujours s’incruster, casser l’existant et se mettre tout en haut
Même quand la carte mère a un port série, ils ne fournissent pas de redirection de console UEFI, et n’exposent pas non plus à l’utilisateur les réglages de Secure Boot ni la gestion des options de boot. Du coup, des bootloaders purement basés sur EFI comme systemd-boot ou rEFInd semblent malgré tout être le choix le moins pénible
Comparez avec le boot sur ARM
Ou alors j’ai aussi un PC avec seulement Void Linux. Le mode UEFI ne fonctionne pas, donc je démarre en mode compatibilité, sans savoir pourquoi. Problème de Secure Boot ? MBR contre GPT ? Il n’y a même pas de partition EFI. Dans ce cas, qu’est-ce qui pourrait remplacer GRUB ?
Le bootloader devrait être assez malin pour lire le système de fichiers en dessous et trouver les kernels. rEFInd le fait. Si vous branchez une clé USB bootable ou installez Windows sur un second SSD, il apparaît simplement dans le menu sans qu’on le demande explicitement.
Il peut falloir une contrainte du genre « /boot doit être sur l’un des n types de systèmes de fichiers bien pris en charge », mais une approche qui marche pour la plupart des cas devrait suffire. Seuls ceux qui font tourner un assemblage de 128 lecteurs de disquettes USB sur RAID6 sur ZFS devraient avoir besoin de dépendre de quelque chose comme GRUB
J’attends toujours un bootloader qui s’affiche dès le départ sur un écran externe, comme avec les desktops et moniteurs CRT d’il y a 20 ans.
systemd-boot inclus dans Pop!_OS ne le fait pas, donc pour modifier les options de boot, je dois sortir mon ThinkPad X1 Extreme de son support et l’ouvrir. Je serais curieux de connaître l’expérience des autres avec GRUB sur ce point
Avec mon combo ThinkPad + dock, ça fonctionne bien
Cela dit, sur certains PC, si on configure cela ainsi, l’écran intégré du portable peut rester noir pendant le boot, et parfois même lorsque le portable est utilisé seul. Si Initial Graphics Device est réglé sur « Auto » plutôt que sur un périphérique précis, ça peut aller, mais ça peut aussi ne rien changer à la situation actuelle.
Un écran externe peut aussi avoir plusieurs entrées, comme VGA, DVI ou HDMI, et s’il est configuré en scan « Auto » pour trouver l’entrée active, la détection prend parfois plus de temps que le boot lui-même. Dans ce cas, en définissant dans les options de l’écran l’entrée préférée comme entrée unique ou par défaut, vous pourriez voir quelque chose pendant ce qui ressemble actuellement à un écran vide
Mon écran 4K connecté en DisplayPort ne pose aucun problème, mais le vieux moniteur VGA/DVI que j’utilise pour la récupération dans mon homelab ne s’allume pas assez vite