ГлавнаяHужное/полезноеСистемные утилитыAnother Drop Down Terminal Extension для GNOME Shell