Où sont stockés les profils Gnome-Terminal dans le système de fichiers?

15

J'ai créé un nouveau profil qui s'est ouvert avec le programme fortune (atp-get install fortune-mod pour l'emplacement de téléchargement) et l'ai défini comme le profil avec lequel ouvrir tous les nouveaux terminaux afin que j'obtienne une nouvelle fortune lorsque j'ouvrirais le terminal . Malheureusement, je ne savais pas définir "terminal de sortie lorsque le processus se termine" sur quelque chose d'autre pour qu'il ne sorte pas presque immédiatement. Actuellement, il quitte dès que la fortune se termine, ce qui est presque immédiatement et je dois supprimer le profil, mais je ne peux pas utiliser l'option "gérer les profils" du terminal car il se ferme trop rapidement pour même essayer d'ouvrir le menu d'édition et encore moins supprimer le profil. J'ai besoin de savoir dans quel répertoire le profil est enregistré afin que je puisse le supprimer manuellement. J'ai essayé de faire une recherche à l'échelle du système, mais les résultats de cette recherche ont été des tonnes de fichiers et de dossiers et je n'ai pas le temps de tous les ouvrir. J'apprécie toute l'aide que je peux obtenir. Merci d'avance.

Marcello Nicoletti
la source
1
Comment importer un profil de gnome-terminal à partir de la base de données dconf: unix.stackexchange.com/a/199864
bartolo-otrit
Comme note, le commentaire / lien de @ bartolo-otrit fait référence aux gnome-terminalprofils dans dconf(note D ) - mais dans ubuntu 14, les gnome-terminalprofils sont dans gconf(note G ); et pour gconf, vous pouvez rechercher ~/.gconf/apps/gnome-terminal/les profils
sdbbs

Réponses:

14

Les profils pour GNOME Terminal sont stockés dans le système de configuration GConf . Pour les modifier directement, appuyez sur Alt+ F2pour afficher la case "Exécuter une commande", entrez gconf-editor, puis recherchez /apps/gnome-terminal/profiles.

Décocher /apps/gnome-terminal/profiles/Default/use_custom_commanddevrait résoudre votre problème.

Une autre méthode pour sortir de cette situation consiste à remplacer la commande personnalisée en en spécifiant une autre comme argument de ligne de commande, par exemple gnome-terminal -x bash, une fois de plus dans la zone "Exécuter une commande".

ændrük
la source
La méthode alternative a fini par être celle qui a fonctionné. Merci beaucoup. Je voterais mais je n'ai pas 15 points de réputation :(
Marcello Nicoletti
La commande alternative est également la seule qui a fonctionné. Dans l'éditeur gconf, il n'y avait pas de case à cocher "use_custom_command.
Balinus
@ ændrük désolé d'avoir mis si longtemps à accepter. Je viens de recevoir une notification pour cette question qui m'a ramené toutes ces années plus tard.
Marcello Nicoletti
3
Sur Ubuntu 17.04, ces entrées ne sont pas là dans gconf-editor
phant0m
1
Les profils pour # GNOME Terminal 3.32.1sont stockés dans dconfnot gconfUn commentaire sur cette question semble impliquer qu'ils devraient être migrés automatiquement vers dconf, mais je n'ai pas réussi à le faire askubuntu.com/questions/906137/…
EoghanM
2

Vous pouvez également exécuter xtermun autre émulateur de terminal disponible dans Ubuntu. De là, vous pouvez exécuter toutes les commandes dont vous avez besoin.

Pour en faire le terminal par défaut, exécutez:

sudo update-alternatives --config x-terminal-emulator

Et changez la valeur par défaut en ce que vous voulez.

Une autre approche pour corriger Gnome Terminal consiste à utiliser Nautilus (le gestionnaire de fichiers) pour supprimer toutes les préférences personnalisées:

  • Accédez à ~/.gconf/apps/gnome-terminal(c'est un dossier caché, cliquez CTRL+Hpour voir)
  • Modifiez-y les xmlfichiers ou supprimez simplement le gnome-terminaldossier entier
  • Ouvrez à nouveau votre terminal Gnome, il sera restauré avec les paramètres d'usine
MestreLion
la source