Como instalar o Gestor de Extensões no Linux!

Gestor de Extensões é um utilitário para explorar e instalar as extensões do GNOME Shell. Uma ferramenta simples e poderosa.…