Essa extensão para o GNOME Shell adiciona uma opção de terminal drop-down. Isso significa que você pode abrir o terminal com um atalho de teclado ou clicando em um ícone, sem precisar sair do seu ambiente de trabalho. É uma forma prática de ter o terminal sempre à mão, sem precisar ocupar espaço na sua tela.O nome dessa extensão é gnome-shell-extension-ddterm, e ela é fácil de instalar e configurar. Depois de instalada, você pode personalizar as configurações, como a tecla de atalho para abrir o terminal. 