Drop Down Terminal (DDT) est une extension du Gnome Shell, qui fait ce que son nom l'indique: il met un terminal dans le Gnome Shell. Simple, rapide et efficace. |
Drop Down Terminal (DDT) est une extension du Gnome Shell, qui fait ce que son nom l'indique: il met un terminal dans le Gnome Shell. Simple, rapide et efficace. |
C'est comme Yakuake pour KDE et avant il était habituel d'utiliser Guake dans gnome, mais dans Unity cela ne fonctionne pas et qui sait si dans Gnome Shell cela ira, comme c'est une très bonne extension 🙂
J'utilise guake dans gnome shell et cela fonctionne comme un charme 😀
Intéressant
Je l'ai déjà mais je ne sais pas comment l'utiliser
Excellente extension !!!
C'est comme ca…