Ho difficoltà a comprendere il modo previsto di gestire le estensioni della shell di Gnome.
Non riesco a trovare alcun programma appropriato nel Dash per farlo. L'unico modo che posso effettivamente gestire le estensioni è via extensions.gnome.org .
È impossibile che questa pagina sia lo strumento per la gestione delle estensioni - ha assolutamente zero senso (rompe UX, per esempio).
Ti prego, dimmi che esiste un piano per un'applicazione nativa finalizzato alla gestione di queste pratiche estensioni.
Microsoft Windows XPdebian based, GNU/Linux Distributionsuna delle parti più illuminanti user experienceera che non avevo bisogno di andare alle pagine web, cercare applicazioni, scaricarle e installarle, ma invece potevo cercare nell'elenco dei pacchetti tramite apt-gete installare i pacchetti. Inoltre, non è stato necessario prestare molta attenzione agli aggiornamenti delle singole applicazioni poiché questo è stato fatto con due apt commands. Dalla mia highly subjectiveesperienza utente devo dire che è una specie di sensazione brokenquando devo gestire le estensioni in questo modo.
