Drop Down Terminal (DDT) es una extensión para Gnome Shell, que hace lo que su nombre implica: coloca un terminal en Gnome Shell. Simple, rápido y efectivo. |
Drop Down Terminal (DDT) es una extensión para Gnome Shell, que hace lo que su nombre implica: coloca un terminal en Gnome Shell. Simple, rápido y efectivo. |
Es como Yakuake para KDE y antes se acostumbraba usar Guake en gnome, pero en Unity no va y quien sabe si en Gnome Shell ira, como sea muy buena extension 🙂
Yo uso guake en gnome shell y va de las mil maravillas 😀
Interesante
Ya lo tengo pero no logro saber como usarlo
Excelente extensión!!!
Así es…