|
Leurs noms pourraient faire penser à ceux d’une firme en biotechnologies. Il s’agit en fait de notre choix d’environnement graphique et pack d’icônes pour le mois de décembre! Black et Vibrancy. Le premier est un Gnome Shell — ou si l’on préfère, un environnement graphique qui se greffe au bureau GNOME comme une nouvelle peau. Le second est un pack regroupant des centaines d’icônes, pour une identification visuelle actualisée de la plupart des applications courantes du poste de travail. Le pack Vibrancy est disponible en téléchargement gratuit depuis cette page http://gnome-look.org/content/show.php/Vibrancy+Colors?content=167771 Tout set d’icônes devrait de préférence être extrait dans le répertoire des Téléchargements. L’utilisateur pourra ensuite sélectionner le répertoire Vibrancy approprié (Vibrancy est livré dans de nombreuses variantes et autant de répertoires) en fonction du style d’icônes voulu. Le(s) répertoire(s) choisi(s) devra -ont être copié(s) dans /usr/share/icons après qu’on ait préalablement modifié les droits d’écriture de /icons/ via le Terminal, par les commandes suivantes (touche [ENTER] après chaque ligne)
Une fois le(s) répertoire(s) Vibrancy placé(s) dans le dossier /icons/ il reste à s’assurer que répertoires et fichiers sont assignés au bon groupe (root) et qu’ils possèdent les bons droits. Comme suit
Interface graphique de caractère, un style carré qui sera apprécié des puristes, Black est quant à lui disponible en téléchargement gratuit depuis la page suivante http://gnome-look.org/content/show.php/Black?content=158356 ou peut être installé depuis l’application Outils de personnalisation laquelle est disponible depuis la catégorie des Utilitaires de GNOME (ou mot-clé personnalisation depuis le champ de Recherche GNOME) > onglet Extensions > puis lien Catalogue d’extensions. En installation manuelle (lien ci-dessus plutôt qu’utilisation de l’app. Outils de personnalisation) le dossier Black doit être copié dans le répertoire /home/ (meilleure sécurité) ou dans /usr/share/themes/ auquel cas il faut modifier préalablement les droits sur le répertoire /themes/ et les rétablir ensuite, selon la même méthode décrite ci-haut pour le répertoire /icons/ . Que du bonheur! |
Comment réinitialiser (vraiment) le bureau KDE Plasma sur Linux Mint 20
Ce n’est pas un secret puisque le problème est rapporté depuis plus de 10 ans sur les forums de discussions KDE, Ubuntu
01
Nov