Extensões do Gnome-shell são como addons do Firefox, só que adicionam funcionalidades ao ambiente desktop.

Primeiro, para instalar o Gnome-shell no Ubuntu, use o comando:

sudo apt-get install gnome-shell gnome-shell-extensions

Ao perguntar se deseja usar LightDM ou GDM, escolha o gerenciador de login que mais gosta. Na dúvida, escolha LightDM (padrão).

Após isso, poderá escolher o GNOME na tela de login.

Para instalar as extensões é simples. Acesse:

• https://extensions.gnome.org/

Instalação

1. Clique na extensão que quer instalar e na página seguinte, mude a chave para ON. Assim mesmo, pelo browser.
2. Caso a extensão não esteja instalada, ele irá perguntar se deseja instalar. Coloque sua senha e pronto.
3. Quando quiser desligar a extensão, basta mudar a chave para OFF.

Para ver a lista das extensões instaladas, clique em Installed extensions.

A seguir, apresentarei algumas extensões de que mais gostei.

Coverflow alt tab

Faz com que as janelas sejam exibidas no alternador em forma de capas: Página: https://extensions.gnome.org/extension/97/coverflow-alt-tab/

Apps on top

Esta extensão apenas muda o ícone principal dos aplicativos da Dashboard. Por padrão, fica na parte inferior. Com essa extensão ligada, o botão fica na parte superior. Página: https://extensions.gnome.org/extension/472/apps-on-top/

Drop down terminal

Como o terminal Tilda, faz surgir um terminal na parte superior da tela bastando pressionar a tecla que fica acima da tecla Tab (mas isto é configurável). Página: https://extensions.gnome.org/extension/442/drop-down-terminal/

Xpenguins

Essa extensão é inútil. Mas achei divertida. Faz surgir vários pinguins na tela.

Página: https://extensions.gnome.org/extension/405/xpenguins/

Espero que curtam.