Drop Down Terminal un terminal de type Guake pour Gnome 3.6 (uniquement).

Plop les bovins !!!

Drop Down Terminal (DDT) est une nouvelle extension pour Gnome Shell 3.6 (uniquement), qui place le Terminal de Gnome un peu comme le ferait Guake. Il s’agit de la toute première version qui pour le moment semble encore un peu basique, mais son développeur, zzrough, a déjà des projets en tête qui peuvent en faire dans ses prochaines versions une des extensions les plus sympa.

Zzrough nous a déjà livré une partie de la feuille de route dont j’ai traduit les points qui m’ont parus les plus intéressants :

v1

– Version initiale.

v2

– Intégration du copier / coller via  un PopupMenu + un raccourci (ctrl-shift).

– Détection du pid actif et intégration d’une demande de confirmation avant de quitter le shell.

– Possibilité de détacher le shell (non confirmé).

– Intégration d’une option de préférences pour la hauteur.

v3

– Interrompre le processus parent si le fils est fermé et qu’aucun pid actif.

v4

– Apparition d’onglets multiples (non confirmé).

v5

– Intégration des traductions Oo.

Bien qu’encore un peu basique ça a déjà l’air pas mal du tout. Si vous êtes déjà sous Gnome 3.6 vous pouvez tester la bête en passant par cette page ou en la téléchargeant sur Github.

Amusez-vous bien.

Moo !!!

source et image