Agora há o alfa de extensions.gnome.org onde você pode obter mais extensões. Espero que, no futuro, isso torne esse wiki da comunidade obsoleto: P
Essa lista agora é mais ou menos substituída pelo link , onde as extensões podem ter um clique instalado e configurado.
Existem vários addons para o gnome-shell. Por favor, ajude-me a compilar uma lista de complementos existentes
Respondi à minha pergunta adicionando as extensões que conheço como respostas. Como há muitas extensões, cada uma delas responde ainda é um esboço.
Aqui há um vídeo de algumas das extensões em ação:
Agora há o alfa de extensions.gnome.org onde você pode obter mais extensões. Espero que, no futuro, isso torne esse wiki da comunidade obsoleto: P
Para aqueles que querem um item de desligamento visível o tempo todo.
Carrega um tema de shell
Permitir seleção de teclado de janelas e espaços de trabalho no modo de sobreposição
Permite usar o Alt + Tab clássico
Permite gerenciar seus espaços de trabalho com mais facilidade, atribuindo um espaço de trabalho específico a cada aplicativo
Substitua o indicador baseado em GTK + do gnome-settings-daemon por um nativo
Um menu de status para acessar e desmontar dispositivos removíveis
Mostra um indicador de status para navegar até os locais
Exibir ícones de sobreposição na visão geral da janela. Este repositório git também tem outra extensão para navegar no histórico com o teclado
Obrigado por criar e manter o post. Útil para todos:)
Mais alguns
Extensão do media player
Integração Pidgin
Extensão do Thunderbird
Extensão de Switch de Área de Trabalho, Menu de Status Alternativo Extensão do Shell do GNOME, Extensão do Shell do GNOME do SystemMonitor, Menu Aplicativos Extensão do Shell do GNOME, Menu de Locais Extensão do Shell do GNOME, Extensão do Shell do GNOME, Aba Alternativa do GNOME
Muitas extensões padrão podem ser facilmente instaladas através do ppa
Tenho certeza de que algum dia teremos uma loja virtual do Google Chrome para extensões do shell do GNOME também, até que tenhamos que manter uma lista como essa: P (ou alguém pode ter criado um blog melhor com o lista)
Ainda com bugs, mas tem que ser mencionado: As Extensões Shell GNOME3 Mint (MGSE) . Na verdade, são muitos plugins diferentes, como uma extensão xrandr, um novo painel de fundo, um menu de desligamento, etc. Esses podem ser instalados separadamente. aqui (também do PPA webupd8).