Il semble que les fourches shell Gnome soient mises à jour assez régulièrement, avec des changements d'interface utilisateur nouveaux et améliorés qui sont conçus pour fournir les fonctionnalités manquantes dans le shell Gnome original. Dans un post précédent, nous avons examiné Linux Mint Mate, qui est une session alternative pour le bureau Ubuntu. Récemment, une nouvelle version d'une fourchette Gnome a été publiée, connue sous le nom Cinnamon . Il est livré avec un menu classique Gnome 2 et une icône Gnome Shell Activity.
Vous pouvez installer Cinnamon en téléchargeant et en installant le paquet Deb sur le site Web du développeur. Les utilisateurs d'Ubuntu devront télécharger et installer le paquet Cinnamon, ainsi que la session. Après l'installation, déconnectez-vous et connectez-vous à l'aide de la session de connexion Cinnamon
L'option de préférences située dans le coin inférieur droit du bureau permet d'afficher les fenêtres de tous les espaces de travail ou de l'espace de travail actuel. Vous pouvez également choisir de toujours grouper, ne jamais grouper ou seulement grouper des fenêtres quand l'espace est limité. En outre, vous pouvez restaurer l'espace de travail actuel ou natif à tout moment à votre convenance.
La version 3.1.1 de Cinnamon a été récemment publiée avec quelques améliorations de l'interface utilisateur, des corrections de bugs et des fonctionnalités supplémentaires. Par exemple, le texte du menu a été rendu configurable, le panneau peut maintenant être masqué automatiquement, les raccourcis clavier peuvent être désactivés et l'icône de vue d'ensemble peut être désactivée. Tous ces paramètres sont configurables via gsettings. Alors, essayez Cinnamon et voyez si vous l'aimez plus que le shell Gnome par défaut ou la session Linux Mint pour Ubuntu. Cinnamon est disponible pour un certain nombre de plates-formes Linux, y compris Ubuntu, Linux Mint 12 (disponible à partir du référentiel par défaut), Fedora, OpenSuse et Arch Linux.
Comment personnaliser le shell Gnome
Vous voulez changer l'icône, le thème du shell ou même la police dans Gnome Shell mais vous ne savez pas comment? Ne pas s'inquiéter. Dans cet article, nous allons vous apprendre tout ce qu'il faut savoir sur la façon de prendre l'environnement de bureau Gnome, le personnaliser et le personnaliser. Des icônes aux curseurs de souris, extensions, polices et tout le reste; C'est le guide définitif sur la façon de personnaliser Gnome Shell.
Comment télécharger de la musique sur Google Music sous Linux
Si vous cherchez un service de streaming de musique décent à mi-chemin pour héberger votre musique Linux, il n'y a pas beaucoup d'options à choisir. Parmi tous les grands choix, la meilleure option est de loin Google Music. C'est parce que Google Music a une application de bureau officielle pour Linux.
