gnome-shell 3.2: alternative a user-theme-extension

[c_estrena]

Ciao a tutti, uso Debian testing con kernel 3.0.0-1-686-pae.
Da qualche giorno, la versione di gnome-shell è passata dalla 3.0 alla 3.2
per la precisione:

Codice: Seleziona tutto

Package: gnome-shell
Version: 3.2.2.1-1

Da allora, non riesco più ad attuare qualche personalizzazione che ritengo piuttosto pratica.
Prima di prendere in considerazione un downgrade de(i) pacchett(i), chiedo il vostro parere, chissà che magari qualcuno abbia soluzioni miracolose...

1) Primo "problema" riguardante l'estensione dock (scaricata e installata dal sito delle estensioni di gnome)
Con la versione precedente della shell, la dock non aveva l'autohide e le finestre delle applicazioni massimizzate andavano a posizionarsi automaticamente accanto alla dock. Ora la nuova versione è automaticamente impostato l'autohide.
L'ho disattivato agendo sul file di configurazione

Codice: Seleziona tutto

gedit ~/.local/share/gnome-shell/extensions/dock@gnome-shell-extensions.gcampax.github.com/extension.js

però non riesco a trovare la stringa che permette alle finestre massimizzate di posizionarsi accanto e non sotto alla barra.
Allego un'immagine che forse rende meglio l'idea.
Il file css ~/.gnome-shell-extensions/extensions/dock/stylesheet.css
permette solo (naturalmente!) di cambiare lo "stile" e nessun parametro come quello che cerco.[/s]
Risolto con l'ultimo aggiornamento...grazie a concoide

2) Secondo fastidio: riguarda l'estensione user-theme e, naturalmente, il pannello superiore.
Per i miei gusti e la mia praticità, trovo che sto benedetto pannello superiore sia troppo grande, troppo vistoso e troppo poco trasparente.
Con la versione precedente di gnome-shell, nessun problema: avevo installato la user-theme-extension e, dopo aver posizionato i temi in ~/.themes scompattati, da gnome-tweak-tools potevo cambiare a piacere il tema.
Ora, sembrerebbe esserci un problema: in gtt accanto alla linguetta per la scelta dei temi c'è un triangolo di attenzione, senza alcuna spiegazione del problema.
Ma sembra esserci un'incompatibilità di user-theme-ext con la shell 3.2. Su gnome-extension (il sito) effettivamente la versione presente non è compatibile con la 3.2, ma solo la 3.3 e seguenti...
Qualcuno saprebbe forse suggerirmi un'estensione compatibile con la mia shell?
L'incompatibilità dei temi, invece è da escludersi, visto che li ho scaricati che apportassero espressamente la dicitura compatibili con shell 3.2. Tuttavia anche nei readme, nessuno riporta quale estensione installare per poterli fare funzionare correttamente con gnome-shell 3.2.
Avviando gnome-tweak-tool da terminale non esce nulla di interessante

La soluzione provvisoria che ho trovato è stata quella di copiare barbaramente il css del tema che voglio in

Codice: Seleziona tutto

 /usr/share/gnome-shell/theme/gnome-shell.css

funziona quasi, naturalmente mi sa che dovrei copiare anche tutti gli altri file della cartella (altrimenti, per dire, nessun "bottone" on/off). Avete mica da suggerirmi una soluzione un po' meno brutale?

Poi, visto che ci sono, ne approfitto per chiedere suggerimenti su dove reperire qualche "vecchia" estensione che non trovo su gnome estensioni, ma che mi era tanto cara. Per esempio:
- l'estensione che posiziona la data e l'ora sulla destra. Ho provato a mettere in dconf "right" al posto di "center" per il posizionamento dell'orologio, ma l'ora non si è mossa. Frippery move clock
- l'estensione che permette di spegnere il pc senza cliccare sul Alt
è alternative status menu

Grazie a chiunque vorrà darmi qualche suggerimento (che possibilmente non sia di passare a kde

[c_estrena]

posso permettermi un piccolo up?
soprattutto per quanto riguarda la barra...
grazie!

[c_estrena]

Per la dock si è messo tutto a posto con l'ultimo aggiornamento! ;D

[Gianni]

volevo chiederti dove hai trovato l'estensione per installare i temi per gnome 3.2.1. Non riesco a trovarla.....
Grazie

[c_estrena]

L'estensione che cerchiamo mica l'ho trovata:

2) Secondo fastidio: riguarda l'estensione user-theme [...]
a. incompatibilità di user-theme-ext. Su gnome-extension (il sito) effettivamente la versione presente non è compatibile con la 3.2, ma solo la 3.3 e seguenti, [...]
Qualcuno saprebbe forse suggerirmi un'estensione compatibile con la mia shell?
Ho barbaramente copiato il css del tema che voglio in

Codice: Seleziona tutto

 /usr/share/gnome-shell/theme/gnome-shell.css

[/b]
funziona quasi, naturalmente mi sa che dovrei copiare anche tutti gli altri file della cartella (altrimenti, per dire, nessun "bottone" on/off). Avete mica da suggerirmi una soluzione un po' meno brutale?

ma mi sono arrangiata, come ho scritto, con un copia brutale
è per questo che chiedevo aiuto per soluzioni un po' più "soft" e pratiche!