Domande taggate «gnome-shell-extension»

Le estensioni della shell GNOME sono piccoli frammenti che espandono la funzionalità e le caratteristiche della shell GNOME. Questi frammenti sono scritti in JavaScript e CSS.

8
Perché l'installazione silenziosa delle estensioni della shell di gnome da extensions.gnome.org non riesce?
Su una nuova installazione di Ubuntu (12.04, 64-bit), dopo aver installato gnome-shell, ho provato ad installare alcune estensioni da extensions.gnome.org ma non ho ottenuto alcun risultato. Ho provato con Firefox e Chromium e ho avuto lo stesso problema. Apri una pagina di estensione su extensions.gnome.org. Passare l'estensione su "ON". Concordare …
2
Come posso aggiornare le estensioni della shell GNOME dalla riga di comando?
Occasionalmente ricevo messaggi che mi dicono che c'è un aggiornamento per una delle mie estensioni della shell GNOME, che mi indirizza a https://extensions.gnome.org/local/ dove posso attivare un aggiornamento tramite l'interfaccia web. Preferirei invocare gli aggiornamenti dalla riga di comando, simile alla chiamata apt update && apt upgrade. Come posso fare …
1
Perché ricevo un messaggio di errore mentre provo ad accedere ad alcune delle mie impostazioni dell'estensione della shell GNOME?
Alcune delle mie estensioni della shell GNOME non mi permettono di configurare le loro funzionalità perché ricevo un messaggio di errore quando provo ad aprirle. L'immagine seguente è quella che vedo quando provo ad aprire le configurazioni dell'estensione " Finestra di ricerca web ": Il messaggio nella casella bianca è …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.