Où se trouve le fichier de configuration du terminal gnome?

19

J'essaie de trouver le fichier de configuration du terminal gnome dans Ubuntu 16.04, mais je n'ai aucune chance. Je veux que le curseur ne s'arrête pas de clignoter, et il y a probablement un paramètre de délai que je peux changer, mais je ne trouve pas le fichier pour le faire. Je sais que cela peut être fait via dconf-editor, mais pour une raison quelconque, cela ne fonctionne pas (je pense que j'ai supprimé certaines dépendances ou autres).

gnome gnome-terminal

— Alcuin Arundel
source

3

dconf dump / org / gnome / terminal / legacy / profiles: /

— utopic eexpress

2

Le commentaire de @utopiceexpress a fonctionné pour moi le 17.04. Le chargement de la configuration vidée peut être fait aveccat dump.txt | dconf load /org/gnome/terminal/legacy/profiles:/

— Fabian Streitel

1

@utopiceexpress Certains paramètres sont en dehors du répertoire "profiles:", vous devriez donc le faire dconf dump /org/gnome/terminal/. Voir aussi askubuntu.com/questions/967517/backup-gnome-terminal/967535 .

— egmont

13

Il n'y a pas de fichier de configuration.

Le gnome-terminalgère tous ses paramètres via dconf(ou gconfdans les anciennes versions d'Ubuntu), ce qui est comparable au registre Windows. C'est un fichier binaire optimisé pour lire rapidement ses valeurs, vous ne pouvez pas le modifier ou le visualiser manuellement comme un document texte.

Si votre dconf-editoroutil ou celui que vous essayez d'utiliser ne fonctionne pas, vous devez d'abord corriger cette erreur.

Juste pour être complet, mais vous avez probablement déjà vu ces liens (qui ne mentionnent que dconf/ gconf, bien sûr):
Comment désactiver le curseur clignotant dans gnome-terminal?
Comment désactiver le curseur clignotant dans Gnome 3.8?

— Byte Commander
source

4

"vous ne pouvez pas le modifier ou l'afficher manuellement comme un document texte." Mais il y a le vidage et le chargement de dconf unix.stackexchange.com/q/199836/49853 askubuntu.com/q/522833/40581

— LiveWireBT

Il s'avère que mon éditeur dconf n'était pas foutu après tout. Je viens d'avoir un mauvais cas de stupide.

— Alcuin Arundel

@LiveWireBT Vous avez raison, il existe toujours des outils alternatifs. Ils peuvent traduire le fichier de registre bcon dconf en texte brut et inverser ainsi que le modifier. D'après le libellé de la question, je pensais simplement qu'il pourrait y avoir plus de trucs foirés et pas seulement l'éditeur graphique dconf ...

— Byte Commander

1

Je veux que le curseur ne cesse de clignoter

GNOME Terminaln'offre pas d'option distincte pour cela, mais il respecte GNOMEla valeur par défaut qui se trouve dans la dconfclé /org/gnome/desktop/interface/cursor-blink-timeout(en secondes).

Renforcez cela à une valeur géante si vous préférez que le curseur continue de clignoter, par exemple

dconf write /org/gnome/desktop/interface/cursor-blink-timeout 86400

— egmont
source

1

NB: vous n'aurez pas à installer de programme ni à supprimer de fichier.

Pour modifier vos gnome-terminalpréférences sans ouvrir ni utiliser réellement, gnome-terminal accédez à

/root/usr/share/applications

Recherchez ensuite Terminal dans le dossier.
Ouvrez ensuite ses propriétés en cliquant avec le bouton droit sur Terminal .
Là, vous verrez la commande .
C'est en fait ce qui se passe lorsque vous ouvrez un terminal. Donc, pour modifier les préférences, changez la commande en gnome-terminal --preferences.
Voila

Après avoir "réparé" les paramètres. Fermez simplement les préférences, puis supprimez --preferencesde la commande dans la fenêtre des propriétés. Maintenant, ouvrez simplement le terminal comme vous le feriez normalement.

EDIT : Si vous êtes dans une interface de ligne de commande, utilisez simplement la commandegnome-terminal --profile=default

— Z3T4 Z00K
source

Merci d'avoir répondu. Vous avez laissé entendre que l'on navigue avec une interface de fichier GUI. Je suis passé à l'étape 3 avant de réaliser que votre réponse ne s'applique pas à une interface de ligne de commande.

— wallyk

@wallyk oui ce n'est pas le cas. Parce que j'avais gâché mes paramètres de terminal gnome et je savais où était la faute. Je voulais donc un moyen de conserver ma configuration telle qu'elle est et de "réparer" le terminal. Comme de nombreuses méthodes ont mentionné l'utilisation des outils dconf et la suppression du fichier de configuration, quelque chose que je voulais garder tel quel et le changer.

— Z3T4 Z00K

@wallyk j'ai trouvé la solution à votre problème. Vérifiez la réponse

— Z3T4 Z00K

@wallyk votre accueil

— Z3T4 Z00K