Archives du mot-clef oneiric ocelot

Extensions Gnomeshell pour les nuls

Publié le par
Répondre
70727867

Amis linuxiens, j’en rêvais et ils l’ont fait: un site dédié aux extensions Gnomeshell, dans lequel il suffit de cliquer sur un bouton, pour que l’installation se fasse automatiquement. Regardez vos calendriers, non, non ce n’est pas le 1er avril, alors allez d’urgence sur le site officiel des extensions Gnomeshell https://extensions.gnome.org   Pour l’instant cela ne fonctionne que sous Firefox (grâce à un plugin installé directement par gnome 3.2), et présente des limitations, cependant j’ai pu installer en 3 coups de cuillères à pot quelques extensions fort intéressantes! Sans la customisation d’interface que serait la vie du geek? Alternative Status Menu Déjà évoqué ici permet de retrouver les fonctions d’extinction et reboot dans le panel. Jump Lists liste des fichiers récents ouverts dans chaque applications du dock latéral Music Integration Fonction musicale directement dans le panel noa11y enlève l’icône Accessibilité du panel Places Status Indicator Navigation rapide dans les dossiers directement depuis le panel Removable Drive Menu Pratique pour gérer les disques amovibles status-only-icon Affiche une icône dans le panel au lieu du nom de l’utilisateur connecté Window List Ajoute la liste des fenêtres ouvertes au panel … Lire la suite

Les extensions et le tweak de Gnomeshell

Publié le par
1
Les extensions et le tweak de Gnomeshell

Edit du 29/10/2011: oubliez ce qui suit et rendez-vous directement sur webupd8 pour installer ultra facilement les extensions gnome-shell Et bien voilà qui est fait, gnomeshell a pris place sur ma distribution unbuntu 11.10. Oneiric Ocelot toujours en béta jusqu’au 13/10, installation cependant anticipée grâce à la commande gksudo « update-manager –devel-release » Une fois la mise à niveau terminée, il faut installer à la main gnomeshell, puisque la distribution n’est livrée qu’avec l’interface Unity sudo apt-get install gnome-shell Après un redémarrage, dépaysement total, pas besoin de détailler, car le web regorge de sujets présentant le bureau gnome 3. J’évoquerai ici uniquement ce qui intéresse passionne le geek: la personnalisation, le tweak, le custom, le bonheur quoi! La résistance au changement étant naturelle, je pense qu’elle explique pour beaucoup le sentiment mitigé au sujet du dernier Gnome. Personnellement j’ai plutôt tendance à rechercher les nouvelles expériences informatiques, du coup je me suis rapidement fait à ce nouveau gestionnaire de bureau. Cependant certaines fonctions basiques manquent et parmi elles, la possibilité d’éteindre ou rebooter directement la machine, sans repasser par l’ écran de connexion lightdm (remplaçant l’ancestral gdm pour le login). Heureusement il est possible de customiser gnome shell pour retrouver le lien … Lire la suite