Pour mettre de la couleur et du gras/soulignage/… dans le terminal Linux, on utilise des choses comme ça :

\e[1;4;38;5;11;48;5;162m

Ça, c’est pour mettre du texte en gras, souligné et jaune sur fond rouge. Non c’est pas une blague.
Essayez cette commande :

echo -e "Normal \e[1;4;38;5;11;48;5;162mStylized\e[0m "

Comme c’est quand-même pas très pratique, j’ai pondu ce petit outil.

Ces couleurs sont la liste des 16 couleurs standards remontant au CGA de 1981, repris ensuite par EGA et VGA, et ce sont les mêmes que les 16 couleurs de base du HTML 3.2. Les autres couleurs jusqu’à 255 sont une palette étendue (qui étrangement ne correspond pas à la palette étendue HTML5).

Normalement, les codes couleurs jusqu’à 15 (de 0 à 15, donc au nombre de 16) sont supportés par tous les terminaux fonctionnant sur X11 et même les autres. Le support des autres couleurs n’est pas garanti (même si les terminaux Gnome ou KDE ne doivent pas y voir de problèmes).

On peut utiliser ces codes pour amméliorer le prompt Linux, comme expliqué là : https://lehollandaisvolant.net/?d=2017/02/13/16/36/20-linux-rendre-le-terminal-plus-lisible

Un mémo pour les équivalences entre les commandes Bash (Linux) et Dos, Powershell (Windows).

Commander la luminosité et autres paramètres en ligne de commande sous Linux. Génial !

Je viens d’essayer, ça marche avec mon écran Dell P2715Q (modèle de 2015).

Une petite astuce quand on fait des scripts bash avec des alias : commencer les noms avec une virgule. Ça évite les collisions avec des commandes « système » qui pourraient venir dans l’avenir.
Et ça permet aussi de faire une recherche différentiée entre les commandes perso et les commandes système.

J’ai jamais aimé GNOME 3+, car ça m’a toujours semblé « pas fini » tout en essayant de faire comme les autres histoire de ne pas shipper un produit vide.

Cette article donne une explication : ils ne savent pas comment faire certains trucs (ou ne les utilisaient pas), donc ils ont tout viré. Et à la fin, on se retrouve avec un outil qui rivalise ses limites avec celles de Windows 1.

Perso je préfère MATE : bientôt 20 ans de maturité et de stabilité, c’est rempli de petites perles de fonctionnalités, même si le passage sous GTK3 a fait un peu de mal.

Je regrette Gnome 2.x , qui était un système stable fonctionnel facile à modifier ET à utiliser :(

Linus Torvalds confirms Lapsus$ breach after hackers publish Linux kernel source code

La blague du matin 😂

J’imagine que le cours de Linux en bourse va s’effondrer.

Donc le programme "sudo" a un logo. Pour le voir, accrochez-vous à votre fauteuil, vous n’en reviendrez pas.

(Spoiler : il est effectivement inspiré de https://xkcd.com/149/ , comme c’est mentionné là https://www.sudo.ws/about/logo/ )

Retour d’un éditeur d’un JV sur les bugs : les linuxiens rapportent 6 fois plus de bugs que les autres utilisateurs.

À première vu, je pensais que c’étaient des bugs uniquement liés à Linux. Mais en fait non : sur les 400 rapports de bug fait par les linuxiens, seuls 3 étaient spécifiques à la plateforme, tous les autres affectaient tous les joueurs sur tous les différents systèmes.

Et il parle aussi de la qualité des rapports : les utilisateurs de linux te donnent les versions de l’OS, du jeu, les journaux système et les dump mémoire, là où quelqu’un d’autre dirait « ça marche pas, aidez-moi ».

Bon anniversaire Linux !

Déjà plus de 10 ans que j’utilise ça sur mon ordi personnel comme système principal, donc également merci :-)

:O

T’es passé sous Windows pour modifier la couleur, et ça persiste sous Linux ?

Sur mon Dell, j’avais un problème de rétro-éclairage clavier aussi : la lumière s’arrêtait après 10 secondes. J’ai pu modifier ça avec cette astuce et mettre 60 secondes : https://lehollandaisvolant.net/linux/checklist/#backlit-timeout

Essayes de voir si y a pas un fichier et un paramètre quelque part dans /sys/class/leds/* que tu peux cat/grep/echo/… en autre chose.

Exemple :

mogrify -crop 300x500+150+250 -path *.png

… découpera une fenêtre située à x=150 et y=250 et qui mesurera 300x500 dans toutes les .png du dossier.

(PS : comment font ceux qui n’utilisent jamais la ligne de commande, franchement ?)

Dans firefox, le thème par défaut est celui qui s’adapte le mieux au thème GTK du système (sous Linux Mint Mate).

Le thème sombre du système se répercute bien sur les onglets et le chrome, mais pas la page d’un onglet vierge, qui est alors clair.
Je pourrais utiliser le thème sombre de Firefox, mais comme j’ai dit, ce dernier n’est pas intégré correctement avec le thème GTK.

Ici, une astuce qui prend le CSS du nouvel onglet du thème Firefox sombre pour l’utiliser dans le thème Firefox par défaut.

Dans le dossier .profile de Firefox, allez dans le dossier chrome, et faites-y un fichier userContent.css.

Copiez-y ceci :

@-moz-document url(about:newtab) {
	body {
		--newtab-background-color: rgba(42, 42, 46, 1)!important;
		--newtab-text-primary-color: rgba(249, 249, 250, 1)!important;
		--newtab-border-primary-color: rgba(249, 249, 250, 0.8)!important;
		--newtab-border-secondary-color: rgba(249, 249, 250, 0.1)!important;
		--newtab-button-primary-color: #0060DF!important;
		--newtab-button-secondary-color: #38383D!important;
		--newtab-element-active-color: rgba(249, 249, 250, 0.2)!important;
		--newtab-element-hover-color: rgba(249, 249, 250, 0.1)!important;
		--newtab-icon-primary-color: rgba(249, 249, 250, 0.8)!important;
		--newtab-icon-secondary-color: rgba(249, 249, 250, 0.4)!important;
		--newtab-icon-tertiary-color: rgba(249, 249, 250, 0.4)!important;
		--newtab-inner-box-shadow-color: rgba(249, 249, 250, 0.2)!important;
		--newtab-inner-box-shadow-color-nte: rgba(21, 20, 26, 0.5)!important;
		--newtab-tile-shadow-secondary: rgba(21, 20, 26, 0.75)!important;
		--newtab-link-primary-color: #45A1FF!important;
		--newtab-link-secondary-color: #50BCB6!important;
		--newtab-text-conditional-color: #F9F9FA!important;
		--newtab-text-secondary-color: rgba(249, 249, 250, 0.8)!important;
		--newtab-textbox-background-color: #38383D!important;
		--newtab-textbox-border: rgba(249, 249, 250, 0.2)!important;
		--newtab-textbox-focus-color: #45A1FF!important;
		--newtab-textbox-focus-boxshadow: 0 0 0 1px #45A1FF, 0 0 0 4px rgba(69, 161, 255, 0.3)!important;
		--newtab-background-button-color: rgba(80, 80, 80, 0.5)!important;
		--newtab-background-button-text-color: #CDCDD4!important;
		--newtab-background-button-hover-color: rgba(114, 114, 114, 0.5)!important;
		--newtab-background-button-active-color: rgba(173, 173, 173, 0.5)!important;
		--newtab-feed-button-background: #38383D!important;
		--newtab-feed-button-text: #F9F9FA!important;
		--newtab-feed-button-background-faded: rgba(56, 56, 61, 0.6)!important;
		--newtab-feed-button-text-faded: rgba(249, 249, 250, 0)!important;
		--newtab-feed-button-spinner: #D7D7DB!important;
		--newtab-contextmenu-background-color: #4A4A4F!important;
		--newtab-contextmenu-button-color: #2A2A2E!important;
		--newtab-modal-color: #2A2A2E!important;
		--newtab-overlay-color: rgba(12, 12, 13, 0.8)!important;
		--newtab-section-header-text-color: rgba(249, 249, 250, 0.8)!important;
		--newtab-section-navigation-text-color: rgba(249, 249, 250, 0.8)!important;
		--newtab-section-active-contextmenu-color: #FFF!important;
		--newtab-search-border-color: rgba(249, 249, 250, 0.2)!important;
		--newtab-search-dropdown-color: #38383D!important;
		--newtab-search-dropdown-header-color: #4A4A4F!important;
		--newtab-search-header-background-color: rgba(42, 42, 46, 0.95)!important;
		--newtab-search-icon-color: rgba(249, 249, 250, 0.6)!important;
		--newtab-search-wordmark-color: #FFF!important;
		--newtab-topsites-background-color: #38383D!important;
		--newtab-topsites-icon-shadow: none!important;
		--newtab-topsites-label-color: rgba(249, 249, 250, 0.8)!important;
		--newtab-topsites-outer-card-hover: rgba(180, 180, 180, 0.1)!important;
		--newtab-topsites-context-menu-hover: rgba(180, 180, 180, 0.1)!important;
		--newtab-card-active-outline-color: #4A4A4F!important;
		--newtab-card-background-color: #38383D!important;
		--newtab-card-hairline-color: rgba(249, 249, 250, 0.1)!important;
		--newtab-card-placeholder-color: #4A4A4F!important;
		--newtab-card-shadow: 0 1px 8px 0 rgba(12, 12, 13, 0.2)!important;
		--newtab-snippets-background-color: #38383D!important;
		--newtab-snippets-hairline-color: rgba(255, 255, 255, 0.1)!important;
		--newtab-background-primary-text-color: #CDCDD4!important;
		--newtab-focus-outline: rgba(80, 145, 241, 0.5)!important;
		--newtab-focus-border: #B5D3FF!important;
		--newtab-focus-border-selected: #B5D3FF!important;
		--newtab-primary-action-background: #4484E2!important;
		--newtab-primary-action-background-off: #6A6A6F!important;
		--newtab-seperator-line-color: #53515F!important;
		--customize-menu-primary-text-color: #E0E0E6!important;
		--customize-menu-check-fill: #E0E0E6!important;
		--customize-menu-background: #38383D!important;
		--customize-menu-secondary-action-background: #515156!important;
		--customize-menu-secondary-action-background-hover: #606065!important;
		--customize-menu-secondary-action-background-active: #6F6F74!important;
		--customize-menu-seperator-line-color: #53515F!important;
		--customize-menu-first-shadow: rgba(21, 20, 26, 0.5)!important;
		--customize-menu-second-shadow: rgba(21, 20, 26, 0.75)!important;
		--customize-menu-primary-action-text: #E0E0E6!important;
		--customize-menu-line-color: #B9B7CC!important;
		--newtab-search-first-shadow: rgba(21, 20, 26, 0.5)!important;
		--newtab-search-second-shadow: rgba(21, 20, 26, 0.75)!important;
		--newtab-search-text-color: #B1B1BD!important;
		--newtab-card-first-shadow: rgba(21, 20, 26, 0.5)!important;
		--newtab-card-second-shadow: rgba(21, 20, 26, 0.75)!important;
		--newtab-wordmark-color: #FFF!important;
	}

}

Enregistrez le fichier.
Fermez l’éditeur.

Maintenant, dans Firefox, allez dans about:config et créez une clé toolkit.legacyUserProfileCustomizations.stylesheets de type boolean et mettez-là à true.

Relancez Firefox.

Voilà.

Maintenant ça ressemble à ça :
https://lehollandaisvolant.net/img/7a/screenshot-firefox.png

Alors qu’avec le thème sombre de Firefox, on avait la barre sous les onglets qui n’étais pas pareil que la barre de titre (aux couleurs du système) et avec le thème par défaut (comme là), la barre des onglets était bonne, mais la page newtab était claire.

D’ailleurs là, le fond de la page newtab n’est pas exactement la même couleur que celle de la barre de titre.

ÉDIT : pour ceux qui se demandent, je suis en train de faire un thème sombre pour mes sites.
Je commence actuellement par mes petits outils en ligne (c’est pas encore en ligne). Après je ferais le blog, puis peut-être CS (le site est déjà relativement sombre).

7-Zip est probablement le meilleur outil de compression sous Windows. Mais sous Linux, wtf ?

Pour compresser un truc, j’ai déjà ça : https://lehollandaisvolant.net/img/c1/compression-linux.png

C’est comme se réjouir que RealMedia est enfin disponible sous Linux alors qu’on a déjà VLC et FFMpeg depuis 15 ans.

Quant à la ligne de commande, on a déjà tar, zip, gz, xz…

Tiens c’est marrant, j’ai exactement le même effet.

La phase de découverte et de bidouillage est terminée en ce qui me concerne : ça ne m’amuse plus autant. Maintenant j’ai envie (et besoin) que ça marche, tout de suite. Pas le temps de modifier 50 fichiers texte pour activer la sortie audio et le port HDMI : je veux voir mon film tout de suite, pas dans 3 heures.

Je tiens toujours à jour une checklist de trucs à faire lors de l’installation, mais elle se rétrécis de versions en versions : GNU/Linux est de plus en plus mûr et les distributions aussi. Les choses sont de plus en plus prêtes « out of the box » même avec les matériels les plus exotiques.

J’ai mon ordi depuis 4 ans, mon install de Mint depuis 6 mois et pour encore 2 ans (je reste sur les LTS) et je n’ai pas bidouillé un truc système depuis des semaines. La dernière fois que j’ai utilisé sudo, ça devait être pour une mise à jour des paquets.

Et c’est un vrai point positif : les distributions sont mûres pour un usage courant, maintenant, et même un spécifique. Alors qu’avant, seul un geek pouvait le faire fonctionner (le non-geek finissait par dire "bon bah tant pis" comme il faisait sous Windows).

En ce qui me concerne, pour ce que j’en fais, la distribution que j’ai choisie est prête pour bosser et ça me va. Hormis quelques réglages à l’installation, tout marche comme il faut.

Que demander de plus ?