Ho installato la shell GNOME in Ubuntu 12.04 e voglio cambiare il "tema della shell", ma non mi permette di farlo.
L'avviso dice qualcosa del tipo: "L'estensione GNOME-Shell non è attivata" e voglio installarla con la console, ma mi restituisce un errore.
Come posso risolvere questo problema?
gnome-shell-extensions
non sembra essere disponibile in 12.04. Sai come ottenerlo?