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.
Descargar: extensión DDT para Gnome Shell
Fuente: usemoslinux
Extensión de Gnome Shell para acceder a un terminal fácilmente
- Detalles
- Escrito por: Administrador
- Categoría: Software
- Visitas: 975
