J'utilise Ubuntu 12.04 et, avant-hier, le raccourci fonctionnait parfaitement. Mais quand j'ai appuyé dessus aujourd'hui, le terminal n'a pas été ouvert.
L'application de terminal fonctionne toujours. Je suis sur GNOME3 3.4.2, et j’ai mis à jour récemment avec apt-get install gnome-Shell
La fenêtre des raccourcis clavier ne montre aucun problème -
Pls. aide, que dois-je faire maintenant?
Ceci est un bug de Gnome Shell. Le raccourci par défaut ne fonctionnera pas. Mais un nouveau raccourci fonctionnera comme d’habitude.
Accédez à Clavier> Raccourcis> Raccourcis personnalisés. Cliquez sur + pour ajouter un nouveau raccourci,
À la place de Nom , utilisez le terminal Gnome. Au lieu de , la commande utilise la chaîne suivante,
gnome-terminal --profile=Default --geometry=95x35+250+60
Assignez maintenant la combinaison de touches (Ctrl+Alt+T) en cliquant dessus. Ensuite, le raccourci devrait fonctionner.