Étiquette : Libreries

En vrac’ de milieu de semaine…

Minuscule en vrac’ en ce dernier mercredi de novembre 2022.

Côté logiciel libre, informatique et internet.

  • Prenez la Fedora Linux, rajoutez-lui des scripts pour certaines opérations (comme l’ajout du dépôt RPM Fusion), un nouveau thème et secouez le tout. Vous obtiendrez la RisiOS.
  • La DGLFI de la semaine, la Exodia OS : une base Archlinux avec bspwm qui pompe allègrement sur Kali Linux.
  • Dans la série des projets incroyables, je demande le port pour Commodore 64 et 128 du mythique « Eye of the Beholder », jadis sorti sur le duo Amiga et PC.
  • Vous utilisez Mozilla Thunderbird au quotidien ? Pourquoi ne pas faire un don, même symbolique pour éclaircir l’avenir de ce logiciel de courrier électronique ?

Côté culture ?

Rien pour cette fois.

Sur ce, bonne fin de semaine !

Personnaliser Grub, quel intérêt ?

Depuis des années, je teste en machine virtuelle de nombreuses distributions GNU/Linux. La plupart d’entre elles, que ce soit des DGLFI ou des distributions aux fondements plus solides personnalise l’apparence du grub, l’outil qui est lancé en premier quand on utilise une distribution GNU/Linux.

Il faudra m’expliquer en quoi personnaliser Grub est si important que cela. La plupart du temps, le compte à rebours avant le chargement du noyau par défaut est de 5 secondes.

Autant dire que créer un fond d’écran pour 5 secondes à chaque démarrage, ça tient plus du jacky tuning qu’autre chose.

Il y a des outils comme grub-customizer qui permette de modifier sans prise de tête le fichier /etc/default/grub.

Cependant, il faudra dans un terminal entrer la commande sudo grub-mkconfig -o /boot/grub.cfg pour faire prendre en compte la dite personnalisation.

L’outil existe pour Archlinux, Ubuntu et d’autres distributions, mais pas pour Manjaro pour des raisons qui m’échappent.

Continuer la lecture de « Personnaliser Grub, quel intérêt ? »

Gnome Text Editor, un Gedit simplifié et allégé ?

S’il y a bien un outil de Gnome que j’utilise régulièrement, c’est son bloc note avancé, Gedit. Or, ce dernier n’a pas été porté pour Gnome 43. La version disponible de Gedit est une 43 alpha, ce qui n’est pas une bonne nouvelle dans l’absolu.

J’aurais pu rester avec Gedit 42 sous Gnome 43, mais j’ai eu envie de tester son remplaçant développé par l’équipe de Gnome et basé sur Gtk 4, j’ai nommé le Gnome Text Editor ou Éditeur de texte Gnome pour la version française.

Continuer la lecture de « Gnome Text Editor, un Gedit simplifié et allégé ? »

En vrac’ de fin de semaine…

Minuscule en vrac’ en ce troisième vendredi d’octobre 2022.

Côté logiciel libre, informatique et internet.

Côté culture ?

L’album live d’Ysma, « The Gronau Variations » est officiellement disponible sous la forme d’un coffret CD + DVD en plus de la version numérique.

Pour finir, un nouvel extrait du futur album de Collapse qui doit sortir le 4 novembre 2022.

Sur ce, bon week-end !

En vrac’ de milieu de semaine…

Minuscule en vrac’ en ce troisième mercredi d’octobre 2022. Oui, c’est maigre, mais c’est pas de ma faute 😀

Côté logiciel libre, informatique et internet.

Côté culture ?

Sur ce, bonne fin de semaine !