[Risolto] [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
[Risolto] [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Ciao a tutti, aprendo le impostazioni avanzate nella pagina Estensioni della shell nel riquadro a dx non mi compare nulla e dunque mi è impossibile gestirle. Qualcuno sa dirmi come rimediare? Grazie.
Ultima modifica di matt0668 il sabato 14 aprile 2012, 18:36, modificato 1 volta in totale.
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
che versione hai di gnome-shell? posta questo da terminale ,da dove hai installato le extensions?
comunque la cosa è strana,sei sicuro di aver effettuato l'accesso con gnome-shell e non con unity?
Codice: Seleziona tutto
gnome-shell --versioncomunque la cosa è strana,sei sicuro di aver effettuato l'accesso con gnome-shell e non con unity?
Ultima modifica di daigo il sabato 14 aprile 2012, 13:09, modificato 1 volta in totale.
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Ciao, grazie per l'interessamento. La mia versione è la 3.2.2.1, è assolutamente indifferente se entro con una qualsiasi versione di gnome o con unity, il risultato è sempre lo stesso....
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
le estensioni le hai installate da qui?
https://extensions.gnome.org/
https://extensions.gnome.org/
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
...effettivamente non ricordo...credo cmq da terminale...è passato qualche mese...cosa pensi dovrei fare?
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
vedi se hai le estensioni installate in queste cartelle home/.local/share/gnome-shell/extensions e in file system/usr/share/gnome-shell/extensions
se sono installate potrebbere essere un problema di gnome-tweak-tool
se sono installate potrebbere essere un problema di gnome-tweak-tool
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Allora...nella cartella del primo percorso non c'è nulla mentre nella cartella del secondo percorso ci sono quattro exstensions che ricordo di aver installato..
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
quelle dovrebbero essere installate dal repo webupdate e dovresti averle in gestore pacchetti,prova a dare poi vai in gestore pacchetti selezioni origine e vedi se tra i ppa hai webupd8 clicchi su questo e vedi se sono marcate come aggiornabili e vedi anche gnome tweak tool alla voce oneiric/universe(archive.ubuntu.com)
Codice: Seleziona tutto
sudo apt-get updateRe: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
In ordine...ho lanciato l'update (lo avevo fatto tante volte nei miei tentativi), si nel gestore pacchetti effettivamente la PPa esiste ma con la dicitura webupd8 ne ho due precisamente LP-PPA-nilarimogard-webupd8/oneiric e la LP-PPA-webupd8team-gnome3/oneiric. Nella prima non vi è alcuna voce relativa a gnome shell extension, nella seconda ve ne sono diverse. Solo alcune sono flaggate per es appmenù common user theme e poche altre. Cosa vuol dire che dovrei flaggarle tutte?
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
io intanto rimuoverei questo LP-PPA-nilarimogard-webupd8/oneiric lo puoi eliminare sempre da gestore pacchetti/repository/altro software e poi dai aggiorna.quello che ti ho detto a proposito di gonme tweak tool l'hai visto
io ho questa versione di tweak tool 3.2.0-0ubuntu1 e tutto funziona vedi che versione hai tue vedi anche gnome tweak tool alla voce oneiric/universe(archive.ubuntu.com)
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Scusa dimenticavo....gnome tweak tool in oneirec/universe arrchive .com è flaggato...
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Scusami ma non ho capito bene come eliminare da gestore pacchetti la ppa che mi hai detto...è possibile farlo anche da terminal?...lo triovo comodo...e poi per la versione di gnome tweak tool come faccio a vedere qual'è? sempre da terminale? grazie tante
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
ok...la versione è uguale alla tua...come elimino quella ppa?
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
scusa ho saltato un passaggio gestore pacchetti/impostazioni/repository/altro software e dovresti trovare le voci nilarimogard-webupd8/oneiric e dai rimuovi comunque se la versione è quella non saprei quale può essere il problema
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
rimosso e aggiornato ma niente....grazie lo stesso..
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
una cosa ancora che mi viene in mente prova a dare Alt+F2 e inserisci il comando lg e dai invio ,vedi nella schermata che ti apre se da errori alla voce errors e posta una schermata ,che magari qualcuno di più esperto ti sa dire qualcosa
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Ho fatto come mi hai detto tu e inviando il comando mi compaiono solo ue icone, risultati e cronologia, ma è impossibile aprirli....
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
a me sembra che non sei su gnome-shell ma su unity,la risposta che ti da il comando è quella su unity,non vorrei romperti ,ma sei sicuro di avere scelto Gnome al login e non ubuntu prima di inserire la password?quel comando su gnome shell dovrebbe darti una risposta così(vedi schermata),puoi postare una schermata del tuo desktop?
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
Ciao, per la recisione ero loggato con Gnome/openBox...ora sono passato a gnome classic...effettivamente con Gnome /openbox sebra resti attivo Unity...cmq la situazione non è cambiata...se apro impostazioni avanzate e vado a estensioni shell, il riquadro di dx non mi da nulla...è desolatamente vuoto...inoltre ho provato a eseguire il comando che mi dicevi, mi da questo errore:
impossibile aprire la posizione «file:///home/alberto/ig»
errore nell'eseguire lo stat del file "/home/alberto/ig": File o directory non esistente
impossibile aprire la posizione «file:///home/alberto/ig»
errore nell'eseguire lo stat del file "/home/alberto/ig": File o directory non esistente
-
daigo
Re: [Desktop] Impostazioni avanzate: impossibile settare estensioni della shell
non saprei che altro dirti ,ma secondo me il problema è che non sei su gnome shell, hai questa interfaccia grafica tu?
Chi c’è in linea
Visualizzano questa sezione: 0 utenti iscritti e 2 ospiti