News: 2022-03-01T07_21_48Z

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

GNOME 42 pourra changer de thème le jour et la nuit

(2022/03/01)


GNOME 42 pourra changer de thème le jour et la nuit

mardi 1er mars 2022

Alors que GNOME 42 doit sortir [1]fin mars , on apprend que le développeur français Romain Vigier a porté son extension de passage automatique aux modes jour et nuit dans GNOME 42.

[2]Romain Vigier est l’auteur de [3]Night Theme Switcher . Cette [4]extension pour GNOME permet de changer de thème au lever et au coucher du soleil . L’extension prend en charge l’éclairage de nuit, les services de localisation, la programmation manuelle et le basculement à la demande.

Avec l’arrivée prochaine de [5]GNOME 42 , il fallait porter l’extension à destination de la nouvelle version et c’est chose faite. L’outil, bien connu des utilisateurs de macOS, sera désormais pleinement intégré à la prochaine révision de l’environnement de bureau via une extension simple et gratuite.

Le code source est disponible sous licence GPL3 [6]sur GitLab . Quant à l’extension, elle est disponible en téléchargement gratuit sur le site des [7]extensions GNOME .

[8]



[1] https://www.toolinux.com/?gnome-42-nouveautes

[2] https://www.romainvigier.fr

[3] https://nightthemeswitcher.romainvigier.fr

[4] https://extensions.gnome.org/extension/2236/night-theme-switcher/

[5] https://www.toolinux.com/?gnome-42-nouveautes

[6] https://gitlab.com/rmnvgr/nightthemeswitcher-gnome-shell-extension/

[7] https://extensions.gnome.org/extension/2236/night-theme-switcher

[8] https://www.toolinux.com/?gnome-42-pourra-changer-de-theme-le-jour-et-la-nuit#forum



What GOOD is a CARDBOARD suitcase ANYWAY?