[Flug] Gnome 3 vs the World

[Franco Vite]

Il 16/12/11, alle ore 14 Christian Surchi dice:

> Ah, tra l'altro ma lascia perplesso il fatto che sia sviluppato qualcosa
> che al momento non permette di rimuovere in modo pulito e completo le
> estensioni installate. Mah...

Come no? Vengono messe in .local/share/gnome-shell/extensions/ da cui
possono essere rimosse comodamente e in vari modi, anche con rm ;-D

-- 
"L'utopia sta all'orizzonte. Mi avvicino  di due passi, lei si allontana
di due  passi. Faccio dieci  passi e  l'orizzonte si allontana  di dieci
passi.  Per quanto cammini, non la raggiungerò  mai. A cosa serve
l'utopia? A questo: serve a camminare."              Eduardo Galeano