Gnome 3.12.1 – Sympa mais rien de bien neuf sous le soleil

Ceux qui tournent sous Gnome et qui suivent un peu l’actualité de cet environnement de bureau (formidable) le savent, celui-ci a été publié il y a quelques temps en version 3.12, embarquant son lot d’améliorations et de nouvelles fonctionnalités. Comme pour la version précédente j’ai attendu sa libération dans les repos Arch/Manjaro, afin de le tester et de vous faire quelques captures d’écran au passage. Nous allons voir un peu ce que ça donne et la première chose que je constate, c’est que cette version de Gnome diffère très peu de la précédente. Lire la suite

Extension Update Notifier et Gnome Shell TaskBar – Deux extensions sympathiques pour Gnome Shell

screenshot_797_2

Cela faisait longtemps que nous n’avions pas présenté d’extensions pour Gnome Shell dans l’étable et ça tombe bien car en voici deux que j’ai trouvé plutôt sympathiques et qui vont peut-être vous plaire. La première, Update Notifier, propose simplement de vérifier régulièrement la présence de mises à jour pour vos extensions et de vous prévenir à l’aide d’une notification quand il y en a, de la même manière que pour les mises à jour traditionnelles. Trois minutes après son lancement l’extension va se mettre à la recherche de mises à jour et le fera ensuite toutes les 12 heures. C’est simple, efficace et tellement logique qu’on se demande pourquoi elle n’a pas vu le jour plus tôt. Extension Update Notifier est une extension signée Ag et peut être installée sur Gnome 3.10 et 3.12 depuis la page dédiée du portail des extensions Gnome. Lire la suite

California – Un calendrier sur mesure pour Gnome Shell

California-About

L’arrivée de Gnome Shell a été un grand chamboulement dans l’histoire de l’environnement de bureau Gnome, avec un nouveau paradigme et la conception de nouvelles applications maison, dont le maître mot est minimalisme. Dans ce contexte et en accord avec les besoins évoqués dans la feuille de route de la team Gnome, California est une nouvelle application minimaliste (en cours de développement) pour GS, dont le but est de fournir aux utilisateurs un calendrier simple et facile à utiliser. California est développé en collaboration avec la team Yorba (shotwell, Geary) et devrait à terme fournir quelques options de synchronisation avec des services tels que Google Calendar ou Gnome Online Account, ainsi que diverses options de planification. Vous devriez donc être en mesure de planifier des événements et des alarmes et de recevoir des notifications à des heures prédéfinies, de manière récurrente (quotidienne) ou non. Lire la suite

Alternative Activities – Une extension Gnome pour accéder rapidement aux différents espaces de travail et gérer ses extensions

Alternative Activities est une extension intéressante pour Gnome Shell, qui va vous permettre d’accéder rapidement aux applications en cours d’exécution sur vos différents espaces de travail et qui dans le même temps va vous permettre de gérer le lancement, l’arrêt ou le redémarrage d’autres extensions. Comme vous pouvez le voir sur l’image ci-dessus, elle se loge discrètement à gauche du panel supérieur et affiche le numéro de l’espace de travail sur lequel vous êtes en train de bosser. Vous pouvez en changer rapidement en scrollant sur le numéro à l’aide de votre souris et accéder aux diverses applications en cours d’exécution en cliquant sur leurs icônes. *Ceci n’aura pas pour effet de mettre en avant l’application ciblée, mais vous serez dirigés sur l’espace de travail où elle se trouve, avec le mode de vue globale des applications activé. Ce n’est pas tout à fait ce qu’il y a de plus pratique, mais c’est déjà pas mal quand même. Lire la suite

Media Player Indicator – Une extension pour gérer vos lecteurs multimédia depuis le panel de Gnome Shell

Si tout le monde n’aime pas obligatoirement Gnome Shell pour son côté minimaliste, d’autres l’aiment bien pour la même raison et trouvent ce qui leur fait défaut via des extensions. Media Player Indicator est une de ces extensions, dont le but est de fournir un menu avancé aux utilisateurs, leur permettant ainsi de gérer certains aspects de leur lecteurs multimédia depuis le panel supérieur de Gnome. Vous pourrez bien entendu régler les paramètres du volume, profiter des différents contrôles, mais également afficher diverses informations, comme les titres et les pochettes de vos albums. Media Player Indicator prend en charge la version 3.10 de Gnome et un grand nombre de lecteurs multimédia dont Rhythmbox, Banshee, Clementine, VLC Media Player, Exaile etc… Lire la suite

Un script sympa pour retrouver la transparence des fenêtres sous Gnome Terminal

Si vous tournez sous GNU/Linux depuis un bon moment et plus particulièrement sous Gnome, vous n’avez sans doute pas manqué de remarquer que Gnome-Terminal a perdu ses options de transparence, depuis la version 3.8 de GS. Ceci est dû à un bug dont la résolution était apparemment compliquée, qui a poussé les développeurs de la team Gnome à supprimer tout bonnement cette option. Alors même s’il y a sans doute des choses plus graves dans la vie, cette option était bien pratique pour ceux qui utilisent régulièrement le terminal et qui ont ponctuellement besoin de surveiller ce qui se passe en arrière-plan, lors de l’exécution d’une commande. Si vous avez envie de retrouver cette possibilité il n’y a pas de solution miracle, mais il existe un petit script bien sympathique, dont le but est de permettre aux utilisateurs de gérer la transparence des fenêtres X Window. Si ça vous branche nous allons voir tout de suite comment l’utiliser. Lire la suite

Square – Un très joli set d’icônes pour Gnome, Unity et KDE

Si vous en avez un peu assez de vos vieilles icônes et que vous avez envie de filer un petit coup de jeune à votre desktop GNU/Linux, square est peut-être le pack qu’il vous faut. Il propose un set d’icônes carrées élégantes, prenant en charge un grand nombre d’applications, y compris les plus récentes. Bien qu’il soit indiqué sur la page du projet que Square est désigné pour Gnome et KDE, il s’intègre parfaitement sous Unity. Pour le reste nous pouvons ajouter que Square a été conçu par EepSetiawan, qu’il est publié sous licence GPL et que plutôt que d’en parler des heures, le mieux est encore de l’essayer. Lire la suite

Audio Output Switcher – Une extension pour changer de sortie audio en 1 clic sous Gnome Shell

Si vous suivez l’actu Ubuntu et plus particulièrement celle d’Unity, vous savez sans doute qu’un nouvel applet servant à changer rapidement de sortie audio va faire son apparition dans le panel. Si vous êtes plutôt Gnome Shell (je vous félicite) ne soyez pas jaloux, aigris ou grincheux, car vous allez dès a présent pouvoir profiter d’un applet similaire, grâce à une extension plutôt coquette et bienvenue. Une fois installée et activée, celle-ci va permettre à votre système de détecter automatiquement (à chaud) l’insertion d’un périphérique de sortie tel qu’un casque audio par exemple et vous permettre d’accéder aux options de volume le concernant en 1 clic, depuis le menu son du panel. C’est vraiment super pratique car cela nous évite l’étape fastidieuse, qui consiste à devoir se rendre dans le menu des paramètres pour sélectionner la sortie audio à activer. Lire la suite