Terminal di UserMenu adalah ekstensi GNOME Shell yang akan menambah shortcut untuk GNOME & nbsp; aplikasi Terminal di UserMenu.Untuk menginstal ekstensi ini, Anda harus memiliki GNOME Shell diinstal atau Cinnamon. . Namun, perlu diingat bahwa belum diuji...