Я использую gnome-shell с расширением «Drop Down Terminal», ярлык по умолчанию - TAB, но его легко изменить.