2 points par GN⁺ 2023-07-19 | 1 commentaires | Partager sur WhatsApp
  • Minegrub est un thème GRUB qui donne au menu de démarrage GRUB un style Minecraft
  • Il s’agit d’un thème inspiré du menu principal de Minecraft, avec des projets associés reliés : Minecraft World Selection Menu et Using both themes together
  • Le flux d’installation manuelle consiste à cloner le dépôt, choisir un arrière-plan, copier le dossier minegrub dans /boot/grub/themes/, définir GRUB_THEME=/boot/grub/themes/minegrub/theme.txt dans /etc/default/grub, puis exécuter grub-mkconfig
  • install_theme.sh aide à installer le thème, à installer le service systemd, à activer l’arrière-plan de console et, si l’on n’utilise pas d’arrière-plan aléatoire, permet aussi de choisir l’arrière-plan
  • update_theme.py sélectionne une phrase aléatoire dans assets/splashes.txt, génère et remplace logo.png, met à jour le nombre de paquets installés ainsi qu’une image d’arrière-plan aléatoire dans backgrounds/
    • Les prérequis d’exécution sont fastfetch ou neofetch, Python 3 ou un environnement d’exécution équivalent, ainsi que le paquet Python Pillow
    • Il est possible de définir l’arrière-plan et la phrase pour le prochain démarrage avec le format python update_theme.py [BACKGROUND_FILE [SPLASH]]
  • Un module flake NixOS est fourni, avec des exemples de configuration enable, splash, background et boot-options-count dans boot.loader.grub.minegrub-theme
  • Si le nombre d’options de démarrage est supérieur ou inférieur à 4, les boutons peuvent chevaucher la barre inférieure ; il est possible d’ajuster leur position en modifiant la ligne correspondante dans /boot/grub/themes/minegrub/theme.txt
  • Dans les environnements qui utilisent le dossier /boot/grub2, il faut adapter les chemins du README et celui du fichier minegrub-update.service
  • L’arrière-plan de console GRUB se définit avec GRUB_BACKGROUND=<path> dans /etc/defaults/grub, mais si un thème est configuré, il faut d’abord modifier une ligne dans /etc/grub.d/00_header

1 commentaires

 
GN⁺ 2023-07-19
Avis Hacker News
  • Cela rappelle que grub-mkconfig génère un grub.cfg inutilement complexe
    En l’écrivant à la main, on peut faire quelque chose de bien plus simple avec un noyau personnalisé, un noyau par défaut avec initrd, et même le démarrage de Windows, en se limitant à default, timeout, quelques menuentry, insmod, set root, linux, initrd et chainloader

    • Le bon vieux GRUB legacy me manque
      La plupart des entrées tenaient en 4 ou 5 lignes de configuration, sans syntaxe shell disgracieuse, sans myriade d’options ni conditions
      La gestion des disques et du démarrage avec le MBR et Linux était bien plus simple ; aujourd’hui, entre les UUID, les partitions FAT32 et les fonctionnalités excessives de l’UEFI, rien que l’idée d’y toucher donne l’impression qu’il faut lire une montagne de documentation
      Autrefois, sur un portable Ubuntu, j’avais voulu changer le serveur DNS en modifiant resolv.conf, mais rien ne s’était passé ; j’ai fini par trouver environ 4 fichiers de configuration DNS à différents endroits, dont un seul était réellement celui qu’il fallait modifier
      Un jour, je finirai peut-être par repasser ma carte mère en mode legacy et installer une distribution minimale sans systemd, comme Crux Linux ou Slackware
    • Au-delà du fait que les fichiers de configuration générés automatiquement sont complexes, je me demande s’il y a un vrai avantage à les maintenir soi-même
      Je me souviens que lorsque j’avais une partition Windows, le script update-grub de Debian détectait tous les noyaux, y compris les noyaux personnalisés, ainsi que les autres systèmes d’exploitation
      À mon avis, ne rien avoir à maintenir vaut largement mieux que devoir maintenir quelque chose soi-même
  • Sur Rocky Linux 8, il a fallu changer GRUB_TERMINAL_OUTPUT en "gfxterm" pour que la valeur de GRUB_THEME soit prise en compte
    Mon enfant redémarre souvent sous Windows via Grub pour jouer à Minecraft Bedrock Edition, donc ce thème devrait pas mal lui plaire

  • "I use Arch BTW" est excellent aussi, mais j’aime surtout le fait qu’il y ait plusieurs phrases splash

  • Bien sûr, ce projet a lui aussi eu droit à un rapport de bug demandant de déplacer le code vers un autre hébergeur Git
    https://github.com/Lxtharia/minegrub-theme/issues/18
    Je comprends le principe, mais ça ne me semble pas être l’endroit pour faire campagne
    J’aimerais que l’auteur puisse simplement le fermer poliment, sans se sentir coupable, en disant : « la description de cette issue ne ressemble pas à un bug dans mon code »

  • Il vaut la peine de mentionner que cette personne a aussi créé un thème Doom
    https://github.com/Lxtharia/doomgrub-theme

  • C’est un peu hors sujet, mais je me demande si quelqu’un connaît un thème ou une interface graphique pour la saisie du mot de passe LUKS
    Pour des proches habitués aux interfaces modernes, la version en ligne de commande n’est pas très intuitive

  • Au début, j’ai lu ça par erreur comme « Microsoft Grub Theme », et j’ai trouvé l’ironie intéressante
    Cela dit, c’est vraiment amusant et impressionnant, et je ne pensais pas qu’on pouvait aller aussi loin avec un thème Grub

  • Il ne reste plus qu’à ce que quelqu’un écrive un moteur de rendu qui fasse aussi tourner la caméra d’arrière-plan du monde

    • Créer un rasterizer logiciel CPU fonctionnant sous UEFI pourrait faire un projet assez amusant
      Un GPU serait évidemment difficile, mais il pourrait être possible d’utiliser plusieurs cœurs CPU
    • Je ne sais pas si c’est possible dans Grub
      La dernière fois que j’ai regardé, un outil appelé Burg permettait d’animer l’arrière-plan comme un GIF, mais l’ensemble était très brut et l’expérience n’était pas terrible
  • Ce thème est très bien aussi, mais je pense que je vais continuer à utiliser ce thème Grub Fallout
    https://github.com/shvchk/fallout-grub-theme/tree/master
    Je suis curieux de savoir quels sont les thèmes préférés des autres

  • Je me demande ce qu’est Grub
    Je n’ai trouvé aucun lien utile dans les trois dépôts grub2 que j’ai consultés au hasard

    • GRUB est un bootloader couramment utilisé sur les systèmes Linux
      Quand on allume l’ordinateur, il affiche un menu d’options de démarrage, puis lance le système d’exploitation installé que l’on a choisi
      Avec ce thème, ce menu de sélection de l’OS à démarrer ressemble au menu de Minecraft