Terminal in usermenu is een GNOME Shell-extensie die snelkoppeling zal toevoegen voor de GNOME & nbsp; Terminal app in de usermenu.Om deze uitbreiding te installeren moet u GNOME Shell geïnstalleerd of kaneel. . Echter, in gedachten houden dat het niet is...