Terminal v UserMenu je rozšíření GNOME Shell, který přidá zástupce pro GNOME & nbsp; Terminal aplikace v UserMenu.Pro instalaci tohoto rozšíření musíte mít GNOME Shell nainstalován nebo Cinnamon. . Mějte však na paměti, že to nebyl testován s skořicí ...