Questions marquées «gnome-terminal»

15
Backup GNOME-Terminal

J'ai créé des paramètres et des profils GNOME-Terminal personnalisés et je souhaite les conserver après la réinstallation d'Ubuntu. Que dois-je enregistrer pour sauvegarder mes paramètres et comment les réappliquer ensuite? Ce n'est pas un double de cette question , car Les systèmes de...

15
Le script shell n'exécute pas la commande cd

J'ai un jeu textuel, Colossal Cave Adventure, que je voudrais lancer avec un script shell au lieu d'ouvrir le terminal et de taper cd ~/Desktop/CCAet ./Adventure. Le code que j'essaie d'utiliser est le suivant: #! /bin/bash gnome-terminal -e 'cd ~/Desktop/CCA/; ./Adventure' et le message que je...

15
Ajout d'une bordure à gnome-terminal

Sur une nouvelle installation Ubuntu 14.04 plain vanilla, avec le thème par défaut, rien de spécial. Afficher une fenêtre de terminal gnome (Ctrl + Alt + t) La fenêtre de terminal n'a pas de bordure (ni de poignée de redimensionnement btw), c'est un rectangle noir. Comment puis-je ajouter une...