albano
Sat Feb 10, 2018 2:41:32 pm
Vogliamo gestire le estensioni gnome che abbiamo installato su Zorin OS 12, serie Core?
Installiamo gnome tweak tool.
Per farlo,andiamo sul terminale e digitiamo il seguente comando:
sudo apt-get update
sudo apt-get install gnome-tweak-tool.
Troverete adesso sul vostro menu' l'icona con scritto strumento di personalizzazione.
Una volta lanciato andiamo su estensioni e potremo cosi' gestire tutte le nostre estensioni installate.
Installiamo gnome tweak tool.
Per farlo,andiamo sul terminale e digitiamo il seguente comando:
sudo apt-get update
sudo apt-get install gnome-tweak-tool.
Troverete adesso sul vostro menu' l'icona con scritto strumento di personalizzazione.
Una volta lanciato andiamo su estensioni e potremo cosi' gestire tutte le nostre estensioni installate.