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.
Mi piace eseguire un paio di script per installare automaticamente i pacchetti e fare alcune configurazioni su nuove installazioni del sistema operativo. Uso gnome shell con alcune estensioni e stavo pensando di migliorare i miei script per configurarli. Di solito configuro le estensioni usando gnome-shell-extension-prefs o dconf-editor e so come …
Ho trovato un'estensione GNOME tramite una ricerca su Google (usando Chromium) e sono rimasto molto sorpreso dal fatto che potrei semplicemente attivare l'interruttore On / Off per fare in modo che il sito web installi un'estensione GNOME completa sul mio computer senza nessun altro passaggio manuale. (testato, funziona anche con …
Ho un piccolo problema con le estensioni della shell di gnome. Dopo averne installato alcuni, ho capito che non mi piacevano e ho deciso di rimuoverli. Le estensioni stesse (le loro cartelle in /home/username/.local/share/gnome-shell/extensions) sono state eliminate correttamente. Tuttavia, le estensioni eliminate non sono state rimosse dall'elenco delle estensioni installate …
Esecuzione di Ubuntu 12.04 con Gnome Shell 3.4 . Dopo aver abilitato l'estensione del pannello inferiore (per rimuovere il fastidioso vassoio dei messaggi / pannello inferiore / hot-corner in basso; sai di cosa sto parlando (:), ancora un "mezzo" messaggio pop-up dopo l'aggiunta di unità USB. Beh, scusa , non …
Ho qualche problema a far funzionare gnome-shell da quando ho installato un'estensione (non so quale) l'11.10. Quindi quello che vorrei sapere è: come posso disinstallare completamente TUTTO su gnome-shell (tutte le estensioni, gnome-tweak-tool, ecc.), Tutto - così posso ricominciare da capo e reinstallarli tutti uno per uno? Grazie in anticipo. …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.