Tecnologia e non solo

giugno 23, 2011

Shell extension: gnome-shell-ext-icon-manager

Filed under: gnome3 — telperion @ 2:04 pm

Un altra estensione utile per spostare alcune icone dalla barra a scomparsa in basso, a quella superiore, cosa più comoda per certi programmi, soluzione ancora imperfetta, visto che i menu continuano a non sentire la presenza della barra, e ci finiscono inevitabilmente sotto.


Uploaded with ImageShack.us


Uploaded with ImageShack.us

github.com/MrTheodor/gnome-shell-ext-icon-manager

Istruzioni (file INSTALL)

How to install?
===============================================================================

(root)
1. Copy gsettings schema
cp org.gnome.shell.extensions.icon-manager.gschema.xml /usr/share/glib-2.0/schemas/

2. Run GSettings schema compiler
glib-compile-schemas /usr/share/glib-2.0/schemas

Install extensions for single user:
1. Copy icon-manager@krajniak.info
cp -r icon-manager@krajniak.info ~/.local/share/gnome-shell/extensions/

2. Restart gnome-shell
Press Alt+F2 and type r

===============================================================================

io, gli schemas aggiunti preferisco metterli e compilarli in
/usr/local/share/glib-2.0/schemas


Uploaded with ImageShack.us

PS:
le estensioni che segnalo sono tutte provate personalmente.

Annunci

%d blogger hanno fatto clic su Mi Piace per questo: